AW*-algebra loading ...