_darcs/
terse-a1/
terse-vm/
terse-web/