ValueError thrown

class_alias(): Argument #1 ($class) must be a user-defined class name, internal class name given