pub fn predicated_inc() -> Program
SoftGPU Phase 7: even lanes add 1 to buf[i]; odd lanes leave value unchanged.
buf[i]