test support for overloaded procedures