Fatal error: exception Failure("redefine name with different type")
