defmodule_with_length