// External functions

// Print an integer
@!println[_];
// Get the next int from stdin
@!next_int[];

@plus_five[a] -> a + 5;

@main[] {
    @input = next_int();

    {
        // Inner scope
        @copy = input;
        println(copy);
    }
    
    input = 3 * plus_five(input) / 3;

    @equals_ten = input - 5 == 10;

    println(equals_ten);

    -> 0;
}