/*
  Copyright (c) INRIA and Microsoft Corporation. All rights reserved.
  Licensed under the Apache 2.0 and MIT Licenses.
*/


#ifndef WasmSupport_H
#define WasmSupport_H

#include <inttypes.h>
#include "krmllib.h"
#include "krml/internal/compat.h"
#include "krml/internal/target.h"

extern void WasmSupport_trap(Prims_string uu___);

extern uint32_t WasmSupport_malloc(uint32_t uu___);

uint32_t WasmSupport_align_64(uint32_t x);

void WasmSupport_check_buffer_size(uint32_t s);

uint16_t WasmSupport_betole16(uint16_t x);

uint32_t WasmSupport_betole32(uint32_t x);

uint64_t WasmSupport_betole64(uint64_t x);

void WasmSupport_memzero(uint8_t *x, uint32_t len, uint32_t sz);


#define WasmSupport_H_DEFINED
#endif /* WasmSupport_H */
