translator now supports fmap_domsub