The top documents tagged [extern int x]