-tuple *BindingTable_tuple_get(BindingTable *bt,int arity,tuple *t) {
- tuple *vt = (tuple*) memcpy(
- malloc( arity * sizeof( void* ) ), t, arity * sizeof( void* ) );
+Tuple *BindingTable_tuple_get(BindingTable *bt,int arity,Tuple *t) {
+ Tuple *vt = Tuple_clone( arity, t );