loadcodex("~/example/AI/aardioAgent.aardio")