Banach_*-algebra loading ...