[@@noalloc] attribute

[mshinwell]

• Should check for lack of allocation
• Should try harder to remove allocation
• Need to work out what to do when a noalloc function (which is not marked as noinline) may be inlined into another one