Lexmark T430 Technical Reference page 244

manualfeedtimeout
is an integer key in statusdict that works with the ManualFeedTimeout page
device parameter to determine the manualfeed timeout for a given page.
If during a print job,
statusdict, that value is used instead of the ManualFeedTimeout page device
parameter.
The value of the ManualFeedTimeout page device parameter and
manualfeedtimeout key in statusdict are independent of each other; the value
of one does not affect the value of the other.
disabled
seconds
An undefined error results if manualfeedtimeout is queried before the value is
set.
Errors: stackoverflow, undefined
newsheet
causes the current page to start on the front side of a new sheet.
Error: none
pagecount
queries the value of the PageCount system parameter. An integer is returned on
the stack indicating the current page count.
This operator is equivalent to executing the following PostScript emulation
sequence:
currentsystemparams /PageCount get
Error: stackoverflow
4-30
PostScript
is defined as an integer value in