Semicomputable_function loading ...