Andrea Vezzosi, thanks a lot. Is this feature described somewhere?
There is a line
Note that many commands are modified by prefixing their key
combinations with C-u.
in
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.EmacsModeKeyCombinations
But there is no description of what prefixing by C-u gives you.