restorer-trampoline.S 872 Bytes