Specs for the new paramter sanitizer