Initial formula for cf-gcc