unchecked apply on FixedIntStack
SAT won't stop to amaze me