aterm
aterm.pure
aterm.pure.binary
aterm.stream
