#include "libtemp.h"
#include <stdio.h>

extern _libdef_var;

void main(){
printf("Valore della variabile esterna: %d\n",_libdef_var);
printf("Valore restituito dalla funzione: %d\n",libdef_funz(1));
printf("Valore della variabile esterna: %d\n",_libdef_var);
};