\codebegin{0}{wait\_for\_input = {\bf proc} (keyb: kb, i: io, st: status, t:timer) {\bf signals}(over)}\codeend
\comment{}{4}{modifies:}{ st, t}
\comment{}{4}{effects:}{Waits for input from keyboard and checks time\_left for current player. If player's time runs out, signals over.
}
\codebegin{0}{get\_input = {\bf proc} (keyb: kb, input: input\_obj, ho: wo, eo: wo, t:timer,}\codeend
\codebegin{12}{st:status, b:board, moves: ub, scr: ss, cmd: bool) {\bf returns}(bool) }\codeend
\codebegin{12}{{\bf signals}(over)}\codeend
\comment{}{4}{modifies:}{ all args}
\comment{}{4}{effects:}{ Processes input from the keyboard, echoing it
to the screen, executing commands, and printing errors when appropriate.
Signals over if computer (RED) runs out of time.
}
\codebegin{0}{again = {\bf proc} (keyb: kb, s: ss, e: wo, r, c: int) {\bf returns} (bool) }\codeend
\comment{}{4}{modifies:}{ s, e
}
\comment{}{4}{effects:}{ Asks if user wants to play again. Returns true if the 
answer is yes, false if the answer is no.
}
