unformal name -> codename