(define (paramlist) (any-of
		     (sequence param (zero-or-more ws) (is #\;) (zero-or-more ws) param)
		     (sequence
			      param
			      (zero-or-more ws)
			      (is #\;)
			      (zero-or-more ws)
			      (paramlist))
		     param))