main.erl should be complete, not tested