try to setjmp in rust