Lista: inserimento elemento in testa C

[#include <stdio.h>
#include <stdlib.h>
#include <malloc.h>
typedef enum{TRUE,FALSE} boolean;

struct EL {
         int Info;
         struct EL *prox;
         };
         
  typedef struct EL ElemLista;
  typedef ElemLista *ListaDiElem;

ListaDiElem ProduciValoreIniziale (); //funzione inizializza lista
boolean ListaVuota(ListaDiElem Lista); //funzione per controllo lista vuota
void InserisciInTesta(ListaDiElem *Lista, int x);//funzione per inserire in testa
int main(int argc, char *argv[])
{
   
  ListaDiElem Lista1; //definizione variabili di tipo lista
  int x;
  Lista1=ProduciValoreIniziale(); //Inizializzazione lista1
  x=5;
InserisciInTesta(*Lista1,x);
  
  if (ListaVuota(Lista1)==TRUE){
                                printf("La lista e' vuota\n");
                                }else{
                                      printf("la lista non e' vuota\n");}
  
  
  
  
  system("PAUSE");	
  return 0;
}

ListaDiElem ProduciValoreIniziale() {
            return NULL;
}

boolean ListaVuota(ListaDiElem Lista){
        if(Lista==NULL) 
        return TRUE;
        else
        return FALSE;
}

void InserisciInTesta(ListaDiElem *Lista, int x){
     ElemLista *Punt;
     Punt=malloc(sizeof(ElemLista));
     Punt->Info=x;
     Punt->prox=*Lista;
     *Lista=Punt;
     }