path: root/kernel/main.c

void test(double a) {}
int main() { test(3.0); }