mosml
update some mapping