$include "prelude.sail"
$include "riscv_types.sail"
$include "riscv_sys.sail"
$include "riscv.sail"
$include "main.sail"