1 2 3 4 5 6 7 8 9 10
#include "../kernel-test-runner.h" int kernelExport() { return 1; } int kernelExportDirect() { return 42; }