Cil_with_bar loading ...