rem: panic("\n");
context: check_for_boot_keys(void){	union key key;	uint32 options = 0;	while ((key.ax = check_for_key()) != 0) {		dprintf("pressed %lx\n", key.ax);		switch (key.code.ascii) {			case ' ':				options |= BOOT_OPTION_MENU;				break;			case 0x1b:	// escape				options |= BOOT_OPTION_DEBUG_OUTPUT;				break;			case 0:				// evaluate BIOS scan codes				// ...				break;		}	}	dprintf("options = %ld\n", options);	panic("\n");	return options;}