//#include "emu.h"

void emu_71()
{
  void emu_bad();
  emu_bad();
}