integer LEN=4; string indovina; string simboli="1234567890"; // "♠♣♦♥"; integer tentativi=0; list storia=[]; key avatar; default { state_entry() { integer i; for(i=0;i