toplevel: make value_t a pointer