Computable_ordinal loading ...