This is not really an issue, just more out of curiosity. I am using a Raspberry Pi, and upon initialisation of my program (debugging via GDB, and showing register values at
