Provide examples in .erl files