modified: mpp_charstream.ml; mpp_init.ml; mpp_main.ml