I used all default values, chose /media/my FAT32 partition on SD card in left slot/rec.mkv, and started recording, with the hotkey set to CTRL+SHIFT+R, and stopped after ~15 seconds.
UI feedback: The counter HH:MM:SS increases normally, also current FPS are updated, but the filesize remains at...