(function() {var implementors = {}; implementors["alloc"] = []; if (window.register_implementors) { window.register_implementors(implementors); } else { window.pending_implementors = implementors; } })()
(function() {var implementors = {}; implementors["alloc"] = []; if (window.register_implementors) { window.register_implementors(implementors); } else { window.pending_implementors = implementors; } })()