module A067 where