extern void ax_vid_32();

int main()
{
  ax_vid_32();
  return 0;
}