// Error: 11-12 duplicate parameter: x
#let f(x, x) = none