definition module UtilIO GetShortPathName :: !String -> (!Bool,!String);