michael@0: // test_3.js