// Prefer 'list (...)' to 'listn (N, ...)'
@@
constant n;
@@
- listn (n,
+ list (
  ...)