idris-0.9.18: test/reg035/expected

reg035b.idr:8:6:No such variable __pi_arg