Unsafe in rust means "you have to enforce the use contract manually as opposed to compiler doing it for you" So yes, if contract is violated there the entire program is contaminated