sobj_ops_to_text
sobj_ops_to_text(addr, out, out_sz);
void sobj_ops_to_text(uintptr_t, char *, size_t);