red tamarin based cmdline tools. Output VRA files