Add vanaah

Auto-spec passes, tested manually