SIGNATURE Interpreter

IMPORT SafeNat COMPLETELY
IMPORT Environment COMPLETELY