Edit File: Z3Vart