integrating some other front end.  Also, stdin.class and stdout.class for other purposes