/test-suite/arithmetic/

• ../
• add.v
• addc.v
• addcarryc.v
• addmuldiv.v
• compare.v
• div.v
• diveucl.v
• diveucl_21.v
• eqb.v
• head0.v
• isint.v
• land.v
• leb.v
• lor.v
• lsl.v
• lsr.v
• ltb.v
• lxor.v
• mod.v
• mul.v
• mulc.v
• primitive.v
• reduction.v
• sub.v
• subc.v
• subcarryc.v
• tail0.v
• unsigned.v