/* Only include this file once in your application to prevent the need to link with this library. */ #ifndef _L4_STUBS_H #define _L4_STUBS_H 1 #include #endif /* l4/stubs.h */