Fixes static binary init issue (XCC)
[akaros.git] / tests / user_tests.h