STATEMENTS AND EXPRESSIONSFUNCTIONS, PROCEDURES AND PACKAGESINPUT AND OUTPUTENVIRONMENT AND OPTIONSMAGMA SEMANTICS