-- These insns actually reduce stack use, but we need the high-tide level,
-- so can't use this info.  Not that it matters much.
bciStackUse SLIDE{}               = 0
bciStackUse SLIDE{}               = 0
bciStackUse SLIDE{}               = 0