global mpt_write:
    // stack: node_ptr, num_nibbles, key, retdest
    // TODO