writing vboxgen