alu1 (11K)