File .lib ?

Dev-C++ non mi ha creato un file del genere.

Come dicevo, nel progetto ho solo quel prova.cpp con il codice sopra citato.
Poi al progetto ho aggiunto prova.def per l'elenco delle funzioni richiamabili dall'esterno (che in questo caso è una).