Add EXVS, prints boundp external symbols