Does Ada also have something similar to the borrow checker? That is, forbidding bad memory access at compile time. I'm not familiar with Ada