const divide_by_zero: *const [16:0]u8 = "division by zero";