# Basic type checking test fn main() -> int do let x = 5; let y = 10.5; let z = true; let s = "hello"; x end