door_info(4, 0xEFFFAE70)           = 0
 door_call(4, 0xEFFFAE58)           = 0
 door_info(4, 0xEFFF9270)           = 0
 door_call(4, 0xEFFF9258)           = 0

        *** process killed ***