alpha: make thread_saved_pc static