LAVA test examples