string(1 ^ i32)
