The line with the segmentation fault works correctly in finalized mode.

The precondition violation happens also in finalized mode (keeping assertions when finalizing).