Codice PHP:
if(!isset($UTENTI[$USER_ID])) $UTENTI[$USER_ID]=new User($USER_ID); 
$UTENTI[$USER_ID]->cambia_password("dio"); 
Può essere?