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