module A070 where