Pressing CTRL-C on the pyboard generates an exception, in order to break out of any running code and return to the REPL. It does this using pendsv, running at the lowest interrupt priority. The GC is currently not protected from this, and so it can be interrupted at an arbitrary point. This needs to be fixed. Probably also other parts of py that modify global state (eg rt_store_global).