module A032 where