AmiKit XE for Vampire V4/V2