bug fix (mpp_variables.ml)
bug fix
update mpp_charstream.ml