1 2 3 4 5
error[E025]: unknown pattern `@a` --> line:3:6 | 3 | @a == 1 | ^^ this pattern is not declared in the `strings` section