db_put_value
void db_put_value(db_addr_t, size_t, db_expr_t);
db_put_value(bkpt->address,
db_put_value(bkpt->address, BKPT_SIZE,
db_put_value(bkpt->address, BKPT_SIZE,
db_put_value(bkpt->address, BKPT_SIZE, bkpt->bkpt_inst);
db_put_value(addr, size, new_value);