Symbol: class_is_registered