#include
"share/atspre_staload.hats"
#include
"share/atspre_staload_libats_ML.hats"

val A0 =
array0_tuple<string>
( "apple", "orange" )
val () =
println!("length(A0) = ", length(A0))

implement main0((*void*)) = ((*void*))