void dummy(unsigned int a, unsigned int b, unsigned int c) {
return;
}