$FONT_SIZE = '12pt';
$INDEX_TABLE_WIDTH  = 450;
$CONTENTS_TABLE_WIDTH  = 450;
$INDEX_WIDTH  = 250;
$CONTENTS_WIDTH  = 250;
$HTML_VALIDATE = '';
$LOCAL_ICONS = 1;
$MAX_SPLIT_DEPTH = 4;

&process_commands_in_tex (<<_RAW_ARG_CMDS_);
listinput # [] # {}
_RAW_ARG_CMDS_

1;