C library for writing user mode arm11 code for the 3DS (CTR)