Fixed-point_combinator loading ...