It's not an identifier, it's a symbol or a mangled name.  Other than that LGTM.