Circuit_complexity loading ...