Cast arguments at the beginning of a procedure