path: root/tests/sysy_lvX/000_main.sy

int main(){
    return 3;
}