module A071 where