Do people who use lots of macros really type them when they aren't allowed to copy prewritten codes?

Some people like @Benq have long default codes. I wonder if they really type them in contests like IOI or ICPC where they have to write everything from scratch.

Not Benq, but I know at the IOI contestants often type their (sometimes shortened) templates from scratch.