michael@0: // Some unicode characters that must be decoded:
michael@0: // ………………………………………………………………………………………………………………………………
michael@0: function outoflinefunction() {
michael@0:     return 42;
michael@0: }
michael@0: