generate valid code for segfaulting loads, not assignless aborts