{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            result = result + self.gcc_int_cast(*index * pointee_size, self.sizet_type);
        self.context.new_bitcast(self.location, result, ptr_type)