Safety from memory