> I think the problem here is there's too many functions that > would need to be marked it to be useful and it isn't a big > enough deal for most libs to bother. Couldn't the compiler recursively infer this property for functions it has the complete (to the bottom) source for?