Actually load protocols.lisp