Loading toomanypats.disco...
While checking toomanypats.f:
  Error: number of arguments does not match.
  https://disco-lang.readthedocs.io/en/latest/reference/num-args.html
