#ifndef PRELUDE
#define PRELUDE 1

#include "share/atspre_staload.hats"

staload "kernel/output/writer.sats"
val () = clear_screen()

staload "kernel/output/print.dats"

castfn i2u8 {n: nat} (i: int n): uint8 n

#endif