Arduino_BlinkWithoutDelay_Timeout sample code ported. It should work according to mbed Handbook, BUT IT DOESN'T!!! Do you have any idea?

Dependencies:   mbed

Revision:
0:ddd5359cb1e3
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/mbed.bld	Wed Sep 03 10:45:25 2014 +0000
@@ -0,0 +1,1 @@
+http://mbed.org/users/mbed_official/code/mbed/builds/9327015d4013
\ No newline at end of file