PDT (disci.mm) display_command_information, disci
  output, o: file = stdout
  display_option, do: key usage, brief, full, keyend = D_DISCI_DO, brief
  do_page, dp: boolean = D_DISCI_DO_PAGE, TRUE
PDTEND required_file_list
