Adding redeclaration verification for longjmp proxy fn