Codes from Erlang class