#ifndef __HEADER
#define __HEADER
#include <src/assembler/riscv32/riscv32_asm.h>
#include <src/mcode/riscv32/riscv32_instr.h>
#include <lib/core.h>

rv32_prog_t* gen_rv32_crt();
rv32_prog_t* link_rv32_prog(rv32_prog_t* progs[]);

#endif