File example vvp code so make check passes.