#include <stddef.h>

/* Force static libraries to know about ... */
void *__libc_stack_end=NULL;