examples/*.ali
