+ defined in Cmm.h) */
+
+/* Here are all the counter declarations: */
+/* If you change this list, make the corresponding change
+ in RTS_TICKY_SYMBOLS in rts/Linker.c */
+
+/* These two are explicitly declared in rts/Ticky.c, and
+ hence should not be extern'd except when using this header
+ file from STG code; hence IN_STG_CODE */