dtrace_dis_get_byte
x.d86_get_byte = dtrace_dis_get_byte;
int dtrace_dis_get_byte(void *);
d86.d86_get_byte = dtrace_dis_get_byte;