// Error: 17-22 expected integer, found string
#range(4, step: "one")