#include <stdio.h> void outputnum(int num); int main(void) { outputnum(10); return 0; } void outputnum(int num) { printf("%d", num); }