Julio César Carrascal Urquijo wrote: > How will one assert that a library function is certified for usage in > SafeD even if it uses unsafe constructs? New keywords? There'll have to be some syntax for that.