1 2 3 4 5 6 7 8 9 10 11 12 13 14
#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