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