Pup 514 typed parameters