Begin translating manual Hev tests to a Falderal file (unfinished)