Prefix all public identifiers to avoid clashes