Typedefs starting with `v' in heretic