toplevel: use llvm.executionengine to eval to int