unused variable
option --compile-unsafe: code generation without typechecking