On one hand you are right. On the other hand knowing it can't panic because the code is literally not there is a very strong guarantee.