move global symbol ident to ctx