#include "level_base.H"
#include "level_core_with_ia32_ins.H"
this file contains functions visible in level_core it uses primitives from level_core_with_ia32_ins but does not leak out any IA32 stuff!