==> RUN on c
---running (c) attr script
   PASSED
---running (c) prover script
   PASSED

 ==> RUN on perl
---running (perl) id script
   PASSED
---running (perl) id2 script, expected failure
   PASSED
---running (perl) attr script
   PASSED
---running (perl) prover script
   PASSED

 ==> RUN on python
---running (python) attr script
   PASSED
---running (python) id script
   PASSED
---running (python) id2 script, expect failure
   PASSED
---running (python) id3 script, expect failure
   PASSED
---running (python) prover script
   PASSED