[staticassertion]

I didn't realize you were recommending to use sel4, I assumed you meant they should have proven theirs using similar methods.