WARNING FOR ALL DAVE USERS:
The GCC version 4.9.3 supplied with DAVE 4.4.2 suffers from optimizer bug that can drop null-pointer checks from your code. I just found in my own code that the bug...