Vampire compiles