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