/// Test string constant lowering.
unsafe constant HELLO: *[u8] = "hello";

unsafe fn getLen() -> u32 {
    return HELLO.len;
}