Why not nothrow too? Why is there a line break between `@safe` and `pure`? Seems arbitrary to me.