We have already agreed that we should have precondtions of not Void for attached arguments, to aid running in non-void-safe mode.