#include #include #include #include #include #include #include "kernel.h" int main() { test_ldc(10000); }