char VgaSeqInit()
{
  __outbyte(0x3C4u, 2u);
  __outbyte(0x3C5u, 3u);
  __outbyte(0x3C4u, 4u);
  __outbyte(0x3C5u, 3u);
  __outbyte(0x3CEu, 4u);
  __outbyte(0x3CFu, 0);
  __outbyte(0x3CEu, 5u);
  __outbyte(0x3CFu, 0x10u);
  __outbyte(0x3CEu, 6u);
  __outbyte(0x3CFu, 0xEu);
  return 14;
}