Update factorial4.s