pattern matching Proc definitions