eliminating PrintInt_m, adding (stubbed) support for echo and read.