lava.json used in kraam.py