Hmmm well I slightly mistaken said 'box'...
Yeah since it is open source so all is open...
But in C++ I never found digitalwrite, randomSeed, etc...
Could you help me how I understand the function (digitalwrite,etc) in the place you state before :install path/hardware/arduino/cores/arduino/?