Type_inference loading ...