MODULE ProgramName;
IMPORT
  NPCT:Args,
  Out;
BEGIN
  Out.Object("Program name: " + Args.Get(0));Out.Ln
END ProgramName.