The source codes developed during reading "Erlang/OTP System Documentation".