#ifndef PRELUDE #define PRELUDE 1 #include "share/atspre_staload.hats" staload "./DATS/print.dats" staload "./SATS/safe_casts.sats" #endif