diffcore-pickaxe.c: a void function shouldn't try to return something