bravo lennart

yet another systemd privesc exploit: https://www.qualys.com/2019/01/09/system-down/system-down.txt

inb4 dependent types

Dependent types would have prevented this. Even a simple type system like CoC (the Calculus of Constructions) would have worked just fine in this case.

>>4
Optimise.