char* dest,
                                uint32_t value
                            ) {
                                nativeToBig32(dest, (char*)&value);
                            }
                        // __VAR__ writeBig64
                            void writeBig64(
                                uint64_t value,
                                char* dest

                            ) {
                                nativeToBig64(dest, (char*)&value);
                            }
                    // little
                        // __VAR__ writeLittle16
                            void writeLittle16(
                                uint16_t value,
                                char* dest

                            ) {
                                nativeToLittle16(dest, (char*)&value);
                            }
                        // __VAR__ writeLittle32
                            void writeLittle32(
                                uint32_t value,
                                char* dest

                            ) {
                                nativeToLittle32(dest, (char*)&value);
                            }
                        // __VAR__ writeLittle64
                            void writeLittle64(
                                uint64_t value,
                                char* dest

                            ) {
                                nativeToLittle64(dest, (char*)&value);
                            }
            
            // Slice
                void Slice_debug(struct Slice* slice, char* name, size_t line) {
                    if (slice->len == 0) {