public static void WriteLine() { SysCalls.WriteDebugChar('\n'); }
public static void Write(char c) { SysCalls.WriteDebugChar(c); }
public static void WriteLine(string msg) { SysCalls.WriteDebugMessage(buf, msg); SysCalls.WriteDebugChar('\n'); }