Update and rename factorial.s to 64-factorial.s