Some questions with regard to emul_l4rm.c