ELF commands

The complete set of ELF commands are described in detail below. They are:

      ELFINP   ELFOPT   ELFNEWC
      ELFPUSH  ELFLFIX
      ELFPUSHC ELFPOPC  ELFDELC ELFCSL ELFVUC
      ELFSAVEC ELFRESTC ELFWRC
      ELFPIN   ELFPL

As you can see, they are all of the form ELF..., so that they can easily be found in the documentation.