On 2 May 2013 17:11, Tim Northover <t.p.northover at gmail.com> wrote: > A case for __attribute__((stark_naked))? I am OK with adding such an attribute, but we should try to coordinate with gcc, so that we don't end up with stark_naked and they add a completely_naked or something :-) Cheers, Rafael