3.2. NAME

Format:

        PRAGMA NAME str
      

Causes an error to be generated if the current source file name (excluding the .jal extension and path) doesn't match str.