Example modules for Archimedes