STATEMENTS AND EXPRESSIONSFUNCTIONS AND PROCEDURESINPUT AND OUTPUTENVIRONMENT AND OPTIONSMAGMA SEMANTICS