#include "share/atspre_staload.hats"

staload "kernel/writer.sats"
dynload "kernel/writer.dats"

implement main0 () = print_char('X')