#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int32_t main(){
    
    
    int32_t v0;
    v0 = 0;
    
    
    int32_t v1;
    v1 = 42l;
    
    
    int32_t v2;
    v2 = 0;
    
    
    int32_t v3;
    v3 = 9l;
    
    
    int32_t v4;
    v4 = 0l;
    
    
    int32_t v5;
    v5 = v0 + v2;
    
    
    int32_t v6;
    v6 = v1 - 42l;
    
    
    int32_t v7;
    v7 = v5 + v6;
    
    
    int32_t v8;
    v8 = v3 - 9l;
    
    
    int32_t v9;
    v9 = v7 + v8;
    
    
    int32_t v10;
    v10 = v9 + v4;
    
    
    return v10;
}