This is not a good assumption. The code will panic, for instance when it can't allocate memory, or runs into signal handling issues.