#include <stdbool.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int32_t main(){
    
    
    int32_t v0;
    v0 = 6l;
    
    
    int32_t v1;
    v1 = 7l;
    
    
    int32_t v2;
    v2 = v0 + v1;
    
    
    return v2;
}