#include <stdio.h> int main() { register int counter = 0; printf("Counter: %d\n", counter); return 0; }