prepass drops casts and simplifies index offsets pay attention to "noreturn" attributes update ACC n when incrementing by a constant
prepass drops casts and simplifies index offsets
pay attention to "noreturn" attributes
update ACC n when incrementing by a constant

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c