diff --git a/crates/lune-std-ffi/src/c/arr_info.rs b/crates/lune-std-ffi/src/c/arr_info.rs
index 16d3d0c..759661b 100644
--- a/crates/lune-std-ffi/src/c/arr_info.rs
+++ b/crates/lune-std-ffi/src/c/arr_info.rs
@@ -155,8 +155,8 @@ impl LuaUserData for CArrInfo {
 
         // Realize
         method_provider::provide_box(methods);
-        method_provider::provide_from_data(methods);
-        method_provider::provide_into_data(methods);
+        method_provider::provide_read_data(methods);
+        method_provider::provide_write_data(methods);
 
         methods.add_method("offset", |_, this, offset: isize| {
             if this.length > (offset as usize) && offset >= 0 {
diff --git a/crates/lune-std-ffi/src/c/fn_info.rs b/crates/lune-std-ffi/src/c/fn_info.rs
index 146d6fa..3c701a5 100644
--- a/crates/lune-std-ffi/src/c/fn_info.rs
+++ b/crates/lune-std-ffi/src/c/fn_info.rs
@@ -96,12 +96,7 @@ impl CFnInfo {
         let args_types = helper::get_middle_type_list(&arg_table)?;
         let ret_type = helper::get_middle_type(&ret)?;
 
-        let arg_len = arg_table.raw_len();
-        let mut arg_info_list = Vec::<FfiArg>::with_capacity(arg_len);
-        for index in 0..arg_len {
-            let userdata = helper::get_userdata(arg_table.raw_get(index + 1)?)?;
-            arg_info_list.push(create_arg_info(&userdata)?);
-        }
+        let arg_info_list = helper::create_list(&arg_table, create_arg_info)?;
         let result_info = FfiResult {
             size: helper::get_size(&ret)?,
         };
@@ -117,7 +112,7 @@ impl CFnInfo {
     }
 
     // Stringify for pretty printing like:
-    // <CFunc( (u8, i32) -> u8 )>
+    // <CFn( (u8, i32) -> u8 )>
     pub fn stringify(lua: &Lua, userdata: &LuaAnyUserData) -> LuaResult<String> {
         let mut result = String::from(" (");
         if let (Some(LuaValue::Table(arg_table)), Some(LuaValue::UserData(result_userdata))) = (
diff --git a/crates/lune-std-ffi/src/c/helper.rs b/crates/lune-std-ffi/src/c/helper.rs
index 04465ab..e00fd05 100644
--- a/crates/lune-std-ffi/src/c/helper.rs
+++ b/crates/lune-std-ffi/src/c/helper.rs
@@ -23,7 +23,7 @@ pub mod method_provider {
     where
         M: LuaUserDataMethods<'lua, Target>,
     {
-        methods.add_function("pointerInfo", |lua, this: LuaAnyUserData| {
+        methods.add_function("ptrInfo", |lua, this: LuaAnyUserData| {
             CPtrInfo::from_userdata(lua, &this)
         });
     }
@@ -37,17 +37,17 @@ pub mod method_provider {
         });
     }
 
-    pub fn provide_from_data<'lua, Target, M>(methods: &mut M)
+    pub fn provide_read_data<'lua, Target, M>(methods: &mut M)
     where
         Target: FfiSize + FfiConvert,
         M: LuaUserDataMethods<'lua, Target>,
     {
         methods.add_method(
-            "fromData",
-            |lua, this, (userdata, offset): (LuaAnyUserData, Option<isize>)| {
+            "readData",
+            |lua, this, (target, offset): (LuaAnyUserData, Option<isize>)| {
                 let offset = offset.unwrap_or(0);
 
-                let data_handle = &userdata.get_data_handle()?;
+                let data_handle = &target.get_ffi_data()?;
                 if !data_handle.check_boundary(offset, this.get_size()) {
                     return Err(LuaError::external("Out of bounds"));
                 }
@@ -60,17 +60,17 @@ pub mod method_provider {
         );
     }
 
-    pub fn provide_into_data<'lua, Target, M>(methods: &mut M)
+    pub fn provide_write_data<'lua, Target, M>(methods: &mut M)
     where
         Target: FfiSize + FfiConvert,
         M: LuaUserDataMethods<'lua, Target>,
     {
         methods.add_method(
-            "intoData",
-            |lua, this, (userdata, value, offset): (LuaAnyUserData, LuaValue, Option<isize>)| {
+            "writeData",
+            |lua, this, (target, value, offset): (LuaAnyUserData, LuaValue, Option<isize>)| {
                 let offset = offset.unwrap_or(0);
 
-                let data_handle = &userdata.get_data_handle()?;
+                let data_handle = &target.get_ffi_data()?;
                 // use or functions
                 if !data_handle.check_boundary(offset, this.get_size()) {
                     return Err(LuaError::external("Out of bounds"));
@@ -91,7 +91,7 @@ pub mod method_provider {
     {
         methods.add_method("box", |lua, this, table: LuaValue| {
             let result = lua.create_userdata(BoxData::new(this.get_size()))?;
-            unsafe { this.value_into_data(lua, 0, &result.get_data_handle()?, table)? };
+            unsafe { this.value_into_data(lua, 0, &result.get_ffi_data()?, table)? };
             Ok(result)
         });
     }
@@ -121,20 +121,26 @@ pub unsafe fn get_conv(userdata: &LuaAnyUserData) -> LuaResult<*const dyn FfiCon
         Ok(userdata.to_pointer().cast::<CPtrInfo>() as *const dyn FfiConvert)
     } else {
         ctype_helper::get_conv(userdata)
-        // TODO: struct and more
     }
 }
 
-pub unsafe fn get_conv_list(table: &LuaTable) -> LuaResult<Vec<*const dyn FfiConvert>> {
+pub fn create_list<T>(
+    table: &LuaTable,
+    callback: fn(&LuaAnyUserData) -> LuaResult<T>,
+) -> LuaResult<Vec<T>> {
     let len: usize = table.raw_len();
-    let mut conv_list = Vec::<*const dyn FfiConvert>::with_capacity(len);
+    let mut list = Vec::<T>::with_capacity(len);
 
     for i in 0..len {
         let value: LuaValue = table.raw_get(i + 1)?;
-        conv_list.push(get_conv(&get_userdata(value)?)?);
+        list.push(callback(&get_userdata(value)?)?);
     }
 
-    Ok(conv_list)
+    Ok(list)
+}
+
+pub unsafe fn get_conv_list(table: &LuaTable) -> LuaResult<Vec<*const dyn FfiConvert>> {
+    create_list(table, |userdata| get_conv(userdata))
 }
 
 pub fn get_size(this: &LuaAnyUserData) -> LuaResult<usize> {
@@ -174,23 +180,7 @@ pub fn get_middle_type(userdata: &LuaAnyUserData) -> LuaResult<Type> {
 
 // get Vec<libffi_type> from table(array) of c-type userdata
 pub fn get_middle_type_list(table: &LuaTable) -> LuaResult<Vec<Type>> {
-    let len: usize = table.raw_len();
-    let mut fields = Vec::with_capacity(len);
-
-    for i in 0..len {
-        // Test required
-        let value = table.raw_get(i + 1)?;
-        if let LuaValue::UserData(field_type) = value {
-            fields.push(get_middle_type(&field_type)?);
-        } else {
-            return Err(LuaError::external(format!(
-                "Unexpected field. CStruct, CType or CArr is required for element but got {}",
-                value.type_name()
-            )));
-        }
-    }
-
-    Ok(fields)
+    create_list(table, get_middle_type)
 }
 
 // stringify any c-type userdata (for recursive)
@@ -219,7 +209,7 @@ pub fn get_tag_name(userdata: &LuaAnyUserData) -> LuaResult<String> {
     } else if userdata.is::<CPtrInfo>() {
         String::from("CPtr")
     } else if userdata.is::<CFnInfo>() {
-        String::from("CFunc")
+        String::from("CFn")
     } else if ctype_helper::is_ctype(userdata) {
         String::from("CType")
     } else {
diff --git a/crates/lune-std-ffi/src/c/ptr_info.rs b/crates/lune-std-ffi/src/c/ptr_info.rs
index d34d44e..519b922 100644
--- a/crates/lune-std-ffi/src/c/ptr_info.rs
+++ b/crates/lune-std-ffi/src/c/ptr_info.rs
@@ -5,14 +5,22 @@ use mlua::prelude::*;
 
 use super::{association_names::CPTR_INNER, ctype_helper, helper, method_provider};
 use crate::{
-    data::RefData,
+    data::{GetFfiData, RefBounds, RefData, RefFlag},
     ffi::{
         association, libffi_helper::SIZE_OF_POINTER, FfiConvert, FfiData, FfiSignedness, FfiSize,
     },
 };
 
+const READ_CPTR_REF_FLAGS: u8 =
+    RefFlag::Dereferenceable.value() | RefFlag::Offsetable.value() | RefFlag::Leaked.value();
+const READ_REF_FLAGS: u8 = RefFlag::Offsetable.value()
+    | RefFlag::Leaked.value()
+    | RefFlag::Readable.value()
+    | RefFlag::Writable.value();
+
 pub struct CPtrInfo {
     inner_size: usize,
+    inner_is_cptr: bool,
 }
 
 impl FfiSignedness for CPtrInfo {
@@ -34,34 +42,47 @@ impl FfiConvert for CPtrInfo {
         data_handle: &Ref<dyn FfiData>,
         value: LuaValue<'lua>,
     ) -> LuaResult<()> {
-        if let LuaValue::UserData(value_userdata) = value {
-            if value_userdata.is::<RefData>() {
-                let value_ref = value_userdata.borrow::<RefData>()?;
-                value_ref
-                    .check_boundary(0, self.inner_size)
-                    .then_some(())
-                    .ok_or_else(|| LuaError::external("boundary check failed"))?;
-                *data_handle
-                    .get_pointer()
-                    .byte_offset(offset)
-                    .cast::<*mut ()>() = value_ref.get_pointer();
-                Ok(())
-            } else {
-                Err(LuaError::external("Ptr:into only allows FfiRef"))
-            }
-        } else {
-            Err(LuaError::external("Conversion of pointer is not allowed"))
-        }
+        let value_userdata = value
+            .as_userdata()
+            .ok_or_else(|| LuaError::external("CPtrInfo:writeRef only allows data"))?;
+
+        data_handle
+            .check_boundary(offset, self.get_size())
+            .then_some(())
+            .ok_or_else(|| LuaError::external("Out of bounds"))?;
+        data_handle
+            .is_writable()
+            .then_some(())
+            .ok_or_else(|| LuaError::external("Unwritable data handle"))?;
+
+        *data_handle
+            .get_pointer()
+            .byte_offset(offset)
+            .cast::<*mut ()>() = value_userdata.get_ffi_data()?.get_pointer();
+
+        Ok(())
     }
 
     // Read data from ptr, then convert into luavalue
     unsafe fn value_from_data<'lua>(
         &self,
-        _lua: &'lua Lua,
-        _offset: isize,
-        _data_handle: &Ref<dyn FfiData>,
+        lua: &'lua Lua,
+        offset: isize,
+        data_handle: &Ref<dyn FfiData>,
     ) -> LuaResult<LuaValue<'lua>> {
-        Err(LuaError::external("Conversion of pointer is not allowed"))
+        if !data_handle.check_boundary(offset, SIZE_OF_POINTER) {
+            return Err(LuaError::external("Out of bounds"));
+        }
+
+        Ok(LuaValue::UserData(lua.create_userdata(RefData::new(
+            unsafe { data_handle.get_pointer().byte_offset(offset) },
+            if self.inner_is_cptr {
+                READ_CPTR_REF_FLAGS
+            } else {
+                READ_REF_FLAGS
+            },
+            RefBounds::new(0, self.inner_size),
+        ))?))
     }
 }
 
@@ -74,6 +95,7 @@ impl CPtrInfo {
     ) -> LuaResult<LuaAnyUserData<'lua>> {
         let value = lua.create_userdata(Self {
             inner_size: helper::get_size(inner)?,
+            inner_is_cptr: inner.is::<CPtrInfo>(),
         })?;
 
         association::set(lua, CPTR_INNER, &value, inner)?;
@@ -118,5 +140,18 @@ impl LuaUserData for CPtrInfo {
 
         // ToString
         method_provider::provide_to_string(methods);
+
+        methods.add_method(
+            "readRef",
+            |lua, this, (target, offset): (LuaAnyUserData, Option<isize>)| unsafe {
+                this.value_from_data(lua, offset.unwrap_or(0), &target.get_ffi_data()?)
+            },
+        );
+        methods.add_method(
+            "writeRef",
+            |lua, this, (target, value, offset): (LuaAnyUserData, LuaValue, Option<isize>)| unsafe {
+                this.value_into_data(lua, offset.unwrap_or(0), &target.get_ffi_data()?, value)
+            },
+        );
     }
 }
diff --git a/crates/lune-std-ffi/src/c/struct_info.rs b/crates/lune-std-ffi/src/c/struct_info.rs
index 4c67fcc..836dbe3 100644
--- a/crates/lune-std-ffi/src/c/struct_info.rs
+++ b/crates/lune-std-ffi/src/c/struct_info.rs
@@ -115,7 +115,6 @@ impl FfiSignedness for CStructInfo {
     }
 }
 impl FfiConvert for CStructInfo {
-    // FIXME: FfiBox, FfiRef support required
     unsafe fn value_into_data<'lua>(
         &self,
         lua: &'lua Lua,
@@ -126,9 +125,9 @@ impl FfiConvert for CStructInfo {
         let LuaValue::Table(ref table) = value else {
             return Err(LuaError::external("Value is not a table"));
         };
-        for (i, conv) in self.inner_conv_list.iter().enumerate() {
-            let field_offset = self.offset(i)? as isize;
-            let data: LuaValue = table.get(i + 1)?;
+        for (index, conv) in self.inner_conv_list.iter().enumerate() {
+            let field_offset = self.offset(index)? as isize;
+            let data: LuaValue = table.get(index + 1)?;
 
             conv.as_ref().unwrap().value_into_data(
                 lua,
@@ -174,8 +173,8 @@ impl LuaUserData for CStructInfo {
 
         // Realize
         method_provider::provide_box(methods);
-        method_provider::provide_from_data(methods);
-        method_provider::provide_into_data(methods);
+        method_provider::provide_read_data(methods);
+        method_provider::provide_write_data(methods);
 
         methods.add_method("offset", |_, this, index: usize| {
             let offset = this.offset(index)?;
diff --git a/crates/lune-std-ffi/src/c/type_info.rs b/crates/lune-std-ffi/src/c/type_info.rs
index 53cb879..e60e143 100644
--- a/crates/lune-std-ffi/src/c/type_info.rs
+++ b/crates/lune-std-ffi/src/c/type_info.rs
@@ -58,7 +58,7 @@ where
     T: 'static,
     Self: CTypeCast + FfiSignedness + FfiConvert + FfiSize,
 {
-    pub fn new_with_libffi_type<'lua>(
+    pub fn from_middle_type<'lua>(
         lua: &'lua Lua,
         libffi_type: Type,
         name: &'static str,
@@ -106,8 +106,8 @@ where
 
         // Realize
         method_provider::provide_box(methods);
-        method_provider::provide_from_data(methods);
-        method_provider::provide_into_data(methods);
+        method_provider::provide_read_data(methods);
+        method_provider::provide_write_data(methods);
 
         methods.add_function(
             "cast",
@@ -121,8 +121,8 @@ where
                 from_type.borrow::<Self>()?.cast(
                     &from_type,
                     &into_type,
-                    &from.get_data_handle()?,
-                    &into.get_data_handle()?,
+                    &from.get_ffi_data()?,
+                    &into.get_ffi_data()?,
                 )
             },
         );
diff --git a/crates/lune-std-ffi/src/c/types/mod.rs b/crates/lune-std-ffi/src/c/types/mod.rs
index 6d4169f..98a8893 100644
--- a/crates/lune-std-ffi/src/c/types/mod.rs
+++ b/crates/lune-std-ffi/src/c/types/mod.rs
@@ -30,7 +30,7 @@ macro_rules! create_ctypes {
     ($lua:ident, $(( $name:expr, $rust_type:ty, $libffi_type:expr ),)* ) => {
         Ok(vec![$((
             $name,
-            CTypeInfo::<$rust_type>::new_with_libffi_type($lua, $libffi_type, $name)?,
+            CTypeInfo::<$rust_type>::from_middle_type($lua, $libffi_type, $name)?,
         ),)*])
     };
 }
diff --git a/crates/lune-std-ffi/src/data/callable_data.rs b/crates/lune-std-ffi/src/data/callable_data.rs
index 001ef7a..d5c9bd8 100644
--- a/crates/lune-std-ffi/src/data/callable_data.rs
+++ b/crates/lune-std-ffi/src/data/callable_data.rs
@@ -49,7 +49,7 @@ impl CallableData {
                 .get(index)
                 .ok_or_else(|| LuaError::external(format!("argument {index} required")))?;
             let arg_pointer = if let LuaValue::UserData(userdata) = arg {
-                let data_handle = userdata.get_data_handle()?;
+                let data_handle = userdata.get_ffi_data()?;
                 data_handle
                     .check_boundary(0, arg_info.size)
                     .then_some(())
@@ -86,7 +86,7 @@ impl LuaUserData for CallableData {
                     return Err(LuaError::external(""));
                 };
                 // FIXME: clone
-                unsafe { this.call(&result.clone().get_data_handle()?, args) }
+                unsafe { this.call(&result.clone().get_ffi_data()?, args) }
             },
         );
         // ref, leak ..?
diff --git a/crates/lune-std-ffi/src/data/mod.rs b/crates/lune-std-ffi/src/data/mod.rs
index c2ddf5b..1de4df1 100644
--- a/crates/lune-std-ffi/src/data/mod.rs
+++ b/crates/lune-std-ffi/src/data/mod.rs
@@ -25,24 +25,44 @@ mod association_names {
 }
 
 pub trait GetFfiData {
-    fn get_data_handle(&self) -> LuaResult<Ref<dyn FfiData>>;
+    fn get_ffi_data(&self) -> LuaResult<Ref<dyn FfiData>>;
+    fn is_ffi_data(&self) -> bool;
 }
 
 impl GetFfiData for LuaAnyUserData<'_> {
-    fn get_data_handle(&self) -> LuaResult<Ref<dyn FfiData>> {
+    fn get_ffi_data(&self) -> LuaResult<Ref<dyn FfiData>> {
         if self.is::<BoxData>() {
             Ok(self.borrow::<BoxData>()? as Ref<dyn FfiData>)
         } else if self.is::<RefData>() {
             Ok(self.borrow::<RefData>()? as Ref<dyn FfiData>)
-        // } else if self.is::<FfiRaw>() {
-        // Ok(self.borrow::<FfiRaw>()? as Ref<dyn ReadWriteHandle>)
+        } else if self.is::<ClosureData>() {
+            Ok(self.borrow::<ClosureData>()? as Ref<dyn FfiData>)
         } else {
             let config = ValueFormatConfig::new();
             Err(LuaError::external(format!(
-                "Expected FfiBox, FfiRef or FfiRaw. got {}",
-                // what?
+                "Expected FfiBox, FfiRef or ClosureData. got {}",
                 pretty_format_value(&LuaValue::UserData(self.to_owned()), &config)
             )))
         }
     }
+    fn is_ffi_data(&self) -> bool {
+        self.is::<BoxData>() | self.is::<RefData>() | self.is::<ClosureData>()
+    }
+}
+
+impl GetFfiData for LuaValue<'_> {
+    fn get_ffi_data(&self) -> LuaResult<Ref<dyn FfiData>> {
+        self.as_userdata()
+            .ok_or_else(|| {
+                let config = ValueFormatConfig::new();
+                LuaError::external(format!(
+                    "Expected FfiBox, FfiRef or ClosureData. got {}",
+                    pretty_format_value(self, &config)
+                ))
+            })?
+            .get_ffi_data()
+    }
+    fn is_ffi_data(&self) -> bool {
+        self.as_userdata().map_or(false, GetFfiData::is_ffi_data)
+    }
 }
diff --git a/tests/ffi/external_math/init.luau b/tests/ffi/external_math/init.luau
index 3b76871..0d00541 100644
--- a/tests/ffi/external_math/init.luau
+++ b/tests/ffi/external_math/init.luau
@@ -8,16 +8,16 @@ compile(`{testdir}/lib.c`, `{testdir}/lib.so`)
 local lib = ffi.open(`{testdir}/lib.so`)
 
 local function test_add_int()
-	local add_int = ffi.fn({ ffi.int, ffi.int }, ffi.int)
+	local add_int = ffi.fnInfo({ ffi.int, ffi.int }, ffi.int)
 
-	local add_int_caller = add_int:caller(lib:find("add_int"))
+	local add_int_caller = add_int:callable(lib:find("add_int"))
 
 	local resultBox = ffi.box(ffi.int.size)
 	local arg1 = ffi.int:box(100)
 	local arg2 = ffi.int:box(200)
 
 	add_int_caller:call(resultBox, arg1, arg2)
-	local result = ffi.int:from(resultBox)
+	local result = ffi.int:readData(resultBox)
 
 	assert(result == 300, `add_int failed. result expected 300, got {result}`)
 end
@@ -25,16 +25,16 @@ end
 test_add_int()
 
 local function test_mul_int()
-	local mul_int = ffi.fn({ ffi.int, ffi.int }, ffi.int)
+	local mul_int = ffi.fnInfo({ ffi.int, ffi.int }, ffi.int)
 
-	local mul_int_caller = mul_int:caller(lib:find("mul_int"))
+	local mul_int_caller = mul_int:callable(lib:find("mul_int"))
 
 	local resultBox = ffi.box(ffi.int.size)
 	local arg1 = ffi.int:box(100)
 	local arg2 = ffi.int:box(200)
 
 	mul_int_caller:call(resultBox, arg1, arg2)
-	local result = ffi.int:from(resultBox)
+	local result = ffi.int:readData(resultBox)
 
 	assert(result == 20000, `mul_int failed. result expected 20000, got {result}`)
 end
diff --git a/tests/ffi/external_struct/init.luau b/tests/ffi/external_struct/init.luau
index d07cf42..76213df 100644
--- a/tests/ffi/external_struct/init.luau
+++ b/tests/ffi/external_struct/init.luau
@@ -8,12 +8,12 @@ compile(`{testdir}/lib.c`, `{testdir}/lib.so`)
 local lib = ffi.open(`{testdir}/lib.so`)
 
 local function test_AB()
-	local ArgStruct = ffi.struct({ ffi.int, ffi.int:ptr() })
-	local ResultStruct = ffi.struct({ ffi.int, ffi.int })
+	local ArgStruct = ffi.structInfo({ ffi.int, ffi.int:ptrInfo() })
+	local ResultStruct = ffi.structInfo({ ffi.int, ffi.int })
 
-	local AB = ffi.fn({ ArgStruct }, ResultStruct)
+	local AB = ffi.fnInfo({ ArgStruct }, ResultStruct)
 
-	local AB_caller = AB:caller(lib:find("AB"))
+	local AB_caller = AB:callable(lib:find("AB"))
 
 	local resultBox = ffi.box(ffi.int.size)
 	local a = ffi.int:box(100)
@@ -21,7 +21,7 @@ local function test_AB()
 	local arg = ArgStruct:box({ a, b:leak() })
 
 	AB_caller:call(resultBox, arg)
-	local result = ResultStruct:from(resultBox)
+	local result = ResultStruct:readData(resultBox)
 
 	assert(result[0] == 300, `AB failed. result expected 300, got {result}`)
 	assert(result[1] == 20000, `AB failed. result expected 300, got {result}`)
diff --git a/tests/ffi/utility/compile.luau b/tests/ffi/utility/compile.luau
index 0b67f4c..5cb2434 100644
--- a/tests/ffi/utility/compile.luau
+++ b/tests/ffi/utility/compile.luau
@@ -1,6 +1,6 @@
 local process = require("@lune/process")
 local function compile(file, out)
-	local gcc = process.spawn("gcc", { "-shared", "-o", out, "-fPIC", file })
+	local gcc = process.exec("gcc", { "-shared", "-o", out, "-fPIC", file })
 	if not gcc.ok then
 		error("Failed to execute gcc command\n" .. gcc.stdout .. gcc.stderr)
 	end
diff --git a/types/ffi.luau b/types/ffi.luau
index 9db4647..9c890e1 100644
--- a/types/ffi.luau
+++ b/types/ffi.luau
@@ -9,9 +9,9 @@ export type CTypeInfo<T, R> = {
 
 	-- realize
 	box: (self: CTypeInfo<T, R>, val: R) -> Box,
-	fromData: (self: CTypeInfo<T, R>, data: (Ref|Box), offset: number?) -> R,
-	intoData: (self: CTypeInfo<T, R>, data: (Ref|Box), value: R, offset: number?) -> (),
-	
+	readData: (self: CTypeInfo<T, R>, target: (Ref|Box), offset: number?) -> R,
+	writeData: (self: CTypeInfo<T, R>, target: (Ref|Box), value: R, offset: number?) -> (),
+
 	-- FIXME: recursive types; 'intoType' should be CTypes
 	cast: (self: CTypeInfo<T, R>, intoType: any, fromData: (Ref|Box), intoData: (Ref|Box)) -> (),
 } & { ["__phantom"]: T }
@@ -24,6 +24,10 @@ export type CPtrInfo<T> = {
 	-- FIXME: recursive types; 'any' should be CPtrInfo
 	arrInfo: (self: CPtrInfo<T>, len: number) -> any,
 	ptrInfo: (self: CPtrInfo<T>) -> any,
+
+	readRef: (self: CPtrInfo<T>, target: (Ref|Box), offset: number?) -> Ref,
+	writeRef: (self: CPtrInfo<T>, target: (Ref|Box), value: (Ref|Box), offset: number?) -> (),
+	
 }
 
 export type CArrInfo<T, R> = {
@@ -36,19 +40,24 @@ export type CArrInfo<T, R> = {
 
 	-- realize
 	box: (self: CArrInfo<T, R>, table: { T }) -> Box,
-	fromData: (self: CArrInfo<T, R>, data: (Ref|Box), offset: number?) -> { T },
-	intoData: (self: CArrInfo<T, R>, data: (Ref|Box), value: { T }, offset: number?) -> (),
+	readData: (self: CArrInfo<T, R>, target: (Ref|Box), offset: number?) -> { T },
+	writeData: (self: CArrInfo<T, R>, target: (Ref|Box), value: { T }, offset: number?) -> (),
 
 	offset: (self: CArrInfo<T, R>, offset: number) -> number,
 }
 
-export type CFuncInfo = {
-	callable: (self: CFuncInfo, functionRef: Ref) -> Callable,
+export type CFnInfo = {
+	callable: (self: CFnInfo, functionRef: Ref) -> Callable,
+	closure: (self: CFnInfo, (...Ref)->()) -> (),
 }
 
 export type CStructInfo = {
 	arrInfo: (self: CStructInfo, len: number) -> CArrInfo<CStructInfo, {any}>,
 	ptrInfo: (self: CStructInfo) -> CPtrInfo<CStructInfo>,
+
+	box: (self: CStructInfo, table: { any }) -> Box,
+	readData: (self: CStructInfo, target: (Ref|Box), offset: number?) -> { any },
+	writeData: (self: CStructInfo, target: (Ref|Box), table: { any }, offset: number?) -> (),
 }
 
 type NumCType<T> = CTypeInfo<T, (number|any)>
@@ -114,7 +123,8 @@ export type CTypes =
 	| ulonglong
 	| CArrInfo<CTypes, any>
 	| CPtrInfo<CTypes>
-	| CFuncInfo
+	| CFnInfo
+	| CStructInfo
 
 export type Ref = {
 	deref: (self: Ref) -> Ref,
@@ -136,7 +146,7 @@ export type Lib = {
 }
 
 export type Callable = {
-	call: (self: Callable, result: Ref, ...(Ref | Box))->();
+	call: (self: Callable, result: (Ref | Box), ...(Ref | Box))->();
 }
 
 local ffi = {}
@@ -190,7 +200,11 @@ function ffi.isInteger<T>(val: T): boolean
 	return nil :: any
 end
 
-function ffi.funcInfo<T>(args: { CTypes }, ret: CTypes): CFuncInfo
+function ffi.fnInfo(args: { CTypes }, ret: CTypes): CFnInfo
+	return nil :: any
+end
+
+function ffi.structInfo(inner: { CTypes }): CStructInfo
 	return nil :: any
 end