Some codes regarding Erlang