SupyMisc: remove duplicate function