formele verificatie zal je niet redden! de specificatie kan bugs bevatten!!
5,56K