$ vlc red.WMV 
VLC media player 2.1.6 Rincewind (revision 2.1.6-0-gea01d28)
[0x119d118] main libvlc: Esecuzione di vlc con l'interfaccia predefinita. Usa 'cvlc' per utilizzare vlc senza interfaccia.
Got bus address:  "unix:abstract=/tmp/dbus-D5xnLbeE7S,guid=062451838e07202f1a4ce464555c7012" 
Connected to accessibility bus at:  "unix:abstract=/tmp/dbus-D5xnLbeE7S,guid=062451838e07202f1a4ce464555c7012" 
Registered DEC:  true 
Registered event listener change listener:  true 
Fontconfig warning: FcPattern object size does not accept value "0"
Fontconfig warning: FcPattern object size does not accept value "0"
Fontconfig warning: FcPattern object size does not accept value "0"
Fontconfig warning: FcPattern object size does not accept value "0"
[0x7f5818001248] main vout display error: Failed to resize display
[0x7f58300009b8] main input error: ES_OUT_SET_(GROUP_)PCR  is called too late (pts_delay increased to 300 ms)
[0x7f58300009b8] main input error: ES_OUT_RESET_PCR called
[wmv3 @ 0x7f5828c69180] warning: first frame is no keyframe
Errore di segmentazione (core dump creato)