Open questions:
- Do we choose the SAC_INT type when compiling
sac2cor when compiling SaC-code?
- I suggest when compiling
sac2c, but making it target-specific. Thesrc/runtimewe use in C-code generated from a SaC-source is intertwined withsrc/libsac, which is compiled along withsac2c.