void host_dasm(void *addr, int len);