Char.name -> Char.real_name