+/* NOTE: jmp_bufs are only 4-byte aligned. This means we
+ * need to pad before the VR and FPR save areas, so that they
+ * can be naturally aligned in the buffer. In case a jmp_buf
+ * is bcopy'd to a different alignment between the setjmp
+ * and longjmp, we need to save the jmp_buf address in the
+ * jmp_buf at setjmp time, so we can realign before reloading.
+ */
+