diff --git a/src/graph.rs b/src/graph.rs
index 4ba046a..cab7e4c 100644
--- a/src/graph.rs
+++ b/src/graph.rs
@@ -1,8 +1,7 @@
 //! Wasm binary graph format
 
 use parity_wasm::elements;
-use std::cell::RefCell;
-use std::rc::Rc;
+use super::ref_list::{RefList, EntryRef};
 
 enum ImportedOrDeclared<T=()> {
 	Imported(String, String),
@@ -26,38 +25,20 @@ type GlobalOrigin = ImportedOrDeclared<Vec<Instruction>>;
 type MemoryOrigin = ImportedOrDeclared;
 type TableOrigin = ImportedOrDeclared;
 
-type TypeRef = Rc<RefCell<elements::Type>>;
-type FuncRef = Rc<RefCell<Func>>;
-type GlobalRef = Rc<RefCell<Global>>;
-type MemoryRef = Rc<RefCell<Memory>>;
-type TableRef = Rc<RefCell<Table>>;
-
 struct Func {
-	type_ref: TypeRef,
+	type_ref: EntryRef<elements::Type>,
 	origin: FuncOrigin,
 }
 
-impl Func {
-	fn into_ref(self) -> Rc<RefCell<Self>> {
-		Rc::from(RefCell::from(self))
-	}
-}
-
 struct Global {
 	content: elements::ValueType,
 	is_mut: bool,
 	origin: GlobalOrigin,
 }
 
-impl Global {
-	fn into_ref(self) -> Rc<RefCell<Self>> {
-		Rc::from(RefCell::from(self))
-	}
-}
-
 enum Instruction {
 	Plain(elements::Instruction),
-	Call(FuncRef),
+	Call(EntryRef<Func>),
 }
 
 struct Memory {
@@ -65,23 +46,11 @@ struct Memory {
 	origin: MemoryOrigin,
 }
 
-impl Memory {
-	fn into_ref(self) -> Rc<RefCell<Self>> {
-		Rc::from(RefCell::from(self))
-	}
-}
-
 struct Table {
 	origin: TableOrigin,
 	limits: elements::ResizableLimits,
 }
 
-impl Table {
-	fn into_ref(self) -> Rc<RefCell<Self>> {
-		Rc::from(RefCell::from(self))
-	}
-}
-
 struct DataSegment {
 	offset_expr: Vec<Instruction>,
 	data: Vec<u8>,
@@ -93,19 +62,19 @@ struct ElementSegment {
 }
 
 enum Export {
-	Func(FuncRef),
-	Global(GlobalRef),
-	Table(TableRef),
-	Memory(MemoryRef),
+	Func(EntryRef<Func>),
+	Global(EntryRef<Global>),
+	Table(EntryRef<Table>),
+	Memory(EntryRef<Memory>),
 }
 
 #[derive(Default)]
 struct Module {
-	types: Vec<TypeRef>,
-	funcs: Vec<FuncRef>,
-	tables: Vec<TableRef>,
-	memory: Vec<MemoryRef>,
-	globals: Vec<GlobalRef>,
+	types: RefList<elements::Type>,
+	funcs: RefList<Func>,
+	tables: RefList<Table>,
+	memory: RefList<Memory>,
+	globals: RefList<Global>,
 	elements: Vec<ElementSegment>,
 	data: Vec<DataSegment>,
 	exports: Vec<Export>,
@@ -120,43 +89,37 @@ impl Module {
 		for section in module.sections() {
 			match section {
 				elements::Section::Type(type_section) => {
-					res.types = type_section
-						.types()
-						.iter()
-						.cloned()
-						.map(RefCell::<_>::from)
-						.map(Rc::<_>::from)
-						.collect();
+					res.types = RefList::from_slice(type_section.types());
 				},
 				elements::Section::Import(import_section) => {
 					for entry in import_section.entries() {
 						match *entry.external() {
 							elements::External::Function(f) => {
 								res.funcs.push(Func {
-									type_ref: res.types[f as usize].clone(),
+									type_ref: res.types.get(f as usize).expect("validated; qed").clone(),
 									origin: entry.into(),
-								}.into_ref())
+								});
 							},
 							elements::External::Memory(m) => {
 								res.memory.push(Memory {
 									limits: m.limits().clone(),
 									origin: entry.into(),
-								}.into_ref())
+								});
 							},
 							elements::External::Global(g) => {
 								res.globals.push(Global {
 									content: g.content_type(),
 									is_mut: g.is_mutable(),
 									origin: entry.into(),
-								}.into_ref())
+								});
 							},
 							elements::External::Table(t) => {
 								res.tables.push(Table {
 									limits: t.limits().clone(),
 									origin: entry.into(),
-								}.into_ref())
+								});
 							},
-						}
+						};
 					}
 				},
 				_ => continue,
diff --git a/src/ref_list.rs b/src/ref_list.rs
index b9a114c..c349393 100644
--- a/src/ref_list.rs
+++ b/src/ref_list.rs
@@ -44,7 +44,7 @@ impl<T> ::std::ops::Deref for Entry<T> {
 	}
 }
 
-struct EntryRef<T>(Rc<RefCell<Entry<T>>>);
+pub struct EntryRef<T>(Rc<RefCell<Entry<T>>>);
 
 impl<T> Clone for EntryRef<T> {
 	fn clone(&self) -> Self {
@@ -72,15 +72,21 @@ impl<T> EntryRef<T> {
 	}
 }
 
-struct RefList<T> {
+pub struct RefList<T> {
 	items: Vec<EntryRef<T>>,
 }
 
+impl<T> Default for RefList<T> {
+	fn default() -> Self {
+		RefList { items: Default::default() }
+	}
+}
+
 impl<T> RefList<T> {
 
-	pub fn new() -> Self { RefList { items: Default::default() } }
+	pub fn new() -> Self { Self::default() }
 
-	fn push(&mut self, t: T) -> EntryRef<T> {
+	pub fn push(&mut self, t: T) -> EntryRef<T> {
 		let idx = self.items.len();
 		let val: EntryRef<_> = Entry::new(t, idx).into();
 		self.items.push(val.clone());
@@ -94,6 +100,10 @@ impl<T> RefList<T> {
 		}
 	}
 
+	pub fn get(&self, idx: usize) -> Option<EntryRef<T>> {
+		self.items.get(idx).cloned()
+	}
+
 	fn done_delete(&mut self, indices: &[usize]) {
 
 		let mut index = 0;
@@ -115,13 +125,25 @@ impl<T> RefList<T> {
 		}
 	}
 
-	pub fn delete(&mut self, inddices: &[usize]) {
-		self.done_delete(inddices)
+	pub fn delete(&mut self, indices: &[usize]) {
+		self.done_delete(indices)
 	}
 
 	pub fn delete_one(&mut self, index: usize) {
 		self.done_delete(&[index])
 	}
+
+	pub fn from_slice(list: &[T]) -> Self
+		where T: Clone
+	{
+		let mut res = Self::new();
+
+		for t in list {
+			res.push(t.clone());
+		}
+
+		res
+	}
 }
 
 #[must_use]