simple-lava-test-definitions