00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef push_console_i_h 00004 #define push_console_i_h 00005 00006 #include "keycodes.h" 00007 #include "mem_layout.h" 00008 #include "space.h" 00009 00010 #endif // push_console_i_h