Data types in
asra.h