main.aml
random.aml