Coding style guides in VERVE