db_put_value
void db_put_value(db_addr_t addr, int size, db_expr_t value);
db_put_value(addr, BKPT_SIZE, BKPT_SET(*storage)); \
db_put_value(addr, BKPT_SIZE, *storage)
db_put_value(addr, size, new_value);