pub(crate) fn finalization_registry_ctor( _: &mut Interp, _t: Value, a: &[Value], ) -> Result<Value, Value>