void spec_send(void)
{
- write_byte(0 | HAVELED << 0 | HAVEAIO << 1 | HAVEDIO << 2);
+ write_byte('c');
+ write_byte(0 | (HAVELED << 0) | (HAVEAIO << 1) | (HAVEDIO << 2));
write16(MAXTASKS);
write16(MAXSDSS);
+ write_byte('\n');
+ write_byte('\n');
}