OUTPUT_NOTES.md

Object file API

Exposed functions

size_t urcl_main();

• Return value: number of instructions executed

Required external functions

size_t urcl_in(size_t port);
void urcl_out(size_t port, size_t data);

Optional external functions

// only used if CLI option `--bounds-safety` is used
void memory_oob(size_t addr);