DESCRIPTION 'Convert GNU Texinfo files to IPF'
STACKSIZE 16384
