stkarm/src/kernel.cpp

extern "C" int f(int a) {
	return a + 1;
}