Fix at_illecker_syncblocks(int goal_value)