bindings, toplevel: figure out native unboxing