(solves problems with different gcc versions)
(the entire process_run()-loop is inside a Contiki multi-thread)