YES! the simple RGB LED prepared for 31C3 was done with Arduino code, had to fix a problem on digitalWrite, then it worked. So far I only tested digitalWrite on MIO7, and MIO7 is enabled as output in bootrom, that masked the issue in the library (the code changed the pin to output, but did not enable it)