APPENDIX: Module file formats