K 10 svn:author V 6 rpaulo K 8 svn:date V 27 2012-12-21T15:15:35.218108Z K 7 svn:log V 41 Move the 64-bit _setjmp to lib/libstand. END