michael@0: // Binary: cache/js-dbg-64-250bf984b8bc-linux
michael@0: // Flags:
michael@0: //
michael@0: f = function() { L: 3; alert(5); }
michael@0: print(f.toString(28800000,23,59,999));