(FBAcores CPS2) Reduce binary size