ensure how to write alu module