Update arifm.h