#ifndef PRELUDE #define PRELUDE 1 #include "share/atspre_staload.hats" staload "kernel/output/writer.sats" val () = clear_screen() staload "kernel/output/print.dats" #endif