;;; -*- Mode:LISP; Package:USER; Base:10 -*-

(load "sys:verify;benchmarks-system" :set-default-pathname nil)