Update exception-64s.h