PASS testErfc (exit status: 0)