debuggability and determinism on eval