const noreturn_returned: *const [28:0]u8 = "'noreturn' function returned";