IMPORT "tests/a_cycle_a.claro"