/*
* Extra stdout functions
* These can be either optimized for a particular port, or reference
* implementation below can be used.
*/
// Send "cooked" string of given length, where every occurrence of
// LF character is replaced with CR LF.
void
// Send zero-terminated string
void