SwapVM — programs, specifications, and what the tools returned