make check
axolotl: implement helper functions, tests