nicer code for converting between identifiers