wrc: Integer ids can be used for control labels instead of strings.