(* ****** ****** *)
(*
** For writing ATS code
** that transpiles into R(stat)
*)
(* ****** ****** *)
//
// HX-2017-10:
// prefix for external names
//
#define
ATS_EXTERN_PREFIX "ats2r34pre_"
//
(* ****** ****** *)

#staload "./../basics_r34.sats"

(* ****** ****** *)
//
(*
val STDIN : R34filr = "mac#"
val STDOUT : R34filr = "mac#"
val STDERR : R34filr = "mac#"
*)
//
(* ****** ****** *)

(* end of [filebas.sats] *)
