extra test
disallow default args for sequenced parameters, as per #517