Explicit passing of arguments for pmatch.