c_logic_ravaged_by_brute_force