gistfile1.txt

struct Val
    x : i32
    y : i32
    
fn new (val)
    let mval = (malloc (typeof val))
    
    # option A: wrap pointer in a fancy reference type
    let mval = (('from-pointer-type reference (typeof mval)) mval)
    mval = val
    
    # option B: keep as regular pointer, just do a simple store
    store val mval
    
    mval

let testval =
    new (Val 1 2)
assert (testval.x == 1)
assert (testval.y == 2)