#include "share/atspre_staload.hats"

typedef test = @{test2 = uint8}

extern castfn uint8_of {n: nat} (i: int n): uint8 n

implement main0 () = 
let 
  val t = @{test2 = uint8_of(4)} : test
in 
  main0 ()
end