D6: Procedure definition with arg list valid