#ifndef __PXTCORE_H
#define __PXTCORE_H

#include <stdio.h>
#include <stdlib.h>
#include <stdarg.h>

namespace pxt {
void *gcAllocBlock(size_t sz);
void vm_stack_trace();
}

extern "C" void dmesg(const char *fmt, ...);
extern "C" void vdmesg(const char *format, va_list arg);
#define DMESG ::dmesg

static inline void itoa(int v, char *dst) {
    snprintf(dst, 30, "%d", v);
}

extern "C" void *xmalloc(size_t sz);
#define xfree free

#define GC_ALLOC_BLOCK gcAllocBlock

#ifndef POKY
// This seems to degrade performance - probably due to cache size
//#define GC_BLOCK_SIZE (1024 * 64)
#endif

#define PXT_HARD_FLOAT 1

#endif