We probably want to add another procedure a couple different parameter types to make sure they all work and so the pattern can be tested properly below.