Alligator vhs Extended Version