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