fn add(a : int, b : int) int {
    ret a + b;
}

fn main() int {
    i := 0;
    x : int = 5;
    result := add(i, x);
    // supports UFCS
    result := i.add(x);
    ret result;
}