#include "../vdso-fakesections.c"