reasonably sure that the pipelined ALU will work...