/*
 * Date: October 2013
 * Author: Christian Schilling
 * 
 * 
 */
int main() {
    int* p = 0;
    if (p) {
        return 1;
    }
    
    return 0;
}