NP_(complexity_class) loading ...