function/procedure arg type checking