type TU32 = U32
type TF32 = F32
type TString = string
type TStringSize = string size 2