cmd_ctid
int cmd_ctid(uintptr_t, uint_t, int, const mdb_arg_t *);
{ "ctid", ":", "convert id to a contract pointer", cmd_ctid },