This module doesn't have a main and need not be executable.