//! returns: 0
// Test record constants.

record Point {
    x: i32,
    y: i32,
}

constant ORIGIN: Point = Point { x: 3, y: 4 };

@default fn main() -> i32 {
    return (ORIGIN.x + ORIGIN.y) - 7;
}