PASS tprec (exit status: 0)