- Call By Value
- The keyword dynload indicates to the ATS compiler to generate a call to the initializing function associated with the file acker.dats.
- The keyword staload indicates to the ATS typechecker that the file following it is to be statically loaded during typechecking.