i'm not sure about that offhand. i was considering adding check-type instead of declare, but remembered that sbcl surprisingly sometimes behaves different compared to equivalent declare's.