def __init__(self): self.p = ffi.malloc(20, Pointer[void])
def f(): p = ffi.malloc(cast(2, types.int64), types.int32) p[0] = 4 p[1] = 5 return p