On Sun, May 06, 2001 at 03:23:18PM +1000, Robert Collins wrote: >I notice that system_printf no longer writes to the console. Is there a >replacement function that does? system_printf *does* write to the console. cgf