How to use aterm

"How to use aterm" is not written yet.