diff -r f6818bb5e292 -r 7d295f013061 targets/plc_main_head.c
--- a/targets/plc_main_head.c	Tue Jan 28 16:30:48 2014 +0100
+++ b/targets/plc_main_head.c	Wed Jan 29 00:38:23 2014 +0100
@@ -13,6 +13,7 @@
 /*
  * Prototypes of functions provided by generated target C code
  * */
+long long AtomicCompareExchange64(long long*, long long, long long);
 void __init_debug(void);
 void __cleanup_debug(void);
 /*void __retrieve_debug(void);*/