Smac knows the types void, char and int and the derivated types pointer (for instance, a pointer to function ) and array . You cannot define any struct or enum.
Smac does not fix int, char and pointer characteristics such as size and alignment . They are the same ones as those used by the compiler to compile Xcoral and Smac. For instance, if chars are signed for this compiler, they will also be signed in Smac.