HardFault in both cases, but with this change:
```
(gdb) print $sp
$2 = (*mut ()) 0x20000450
```
Without:
```
(gdb) print $sp
$1 = (*mut ()) 0x1fffffd0

```