3 public extern void write (...); //VAT
4 public extern void writeln (...); //VAT
6 public extern uint syncrandu31 (); // "synced" random, using common seed for all players
9 public extern void addMessage (string msgtext, int pauseMsecs, int noreplace);
10 public void addMessage (string msgtext, int pauseMsecs) { addMessage(msgtext, pauseMsecs, false); }
11 public void addMessage (string msgtext) { addMessage(msgtext, 3000); }