signcond.lib
constant firstoct
constant signcnd
constant psigncnd
constant psign
constant isIn
constant expprod
constant initlist
constant evalp
constant incexp