some few internal identifiers to avoid conflicts, which could be useful on
other platforms.