(in-package "ACL2") (include-book "data-structures/structures" :dir :system)