top-with-meta

(include-book "top" :load-compiled-file nil)

(include-book "meta/meta" :dir :system :load-compiled-file nil)