can appear as executable code for programs, or code in libraries

are not used at all

can be used almost anywhere

are the same as statement sequences

appear in functions