(install
 (files symbolic-stdio.lisp symbolic-stdlib.lisp)
 (package bap-primus-symbolic-executor)
 (section (site (bap-common site_lisp))))
