vlc/src/misc