alleg_src/src/training/specification