#include "../kernel-test-runner.h" int kernelExport() { return 1; } int kernelExportDirect() { return 42; }