working INTERPRET with full compile-time/exec-time semantics