Add example, functions to convert between 32 and 64-bit ID