alu4 (19K)