Indeed. The problem, though, is that the "naked call" approach, while attractive,
requires the back end to be modified and so requires the help of the gcc maintainers
for every Linux target. Not that this is a terrible idea, but such co-ordination
is going to take time.