codegen, toplevel: box_value working without global