+/* Returns an address that is invalid, but the preceding bytes
+ * are all valid (the highest address in the bss segment). Used
+ * to position information such that the first byte of the
+ * information is valid, but not all the information is valid. */
+void *
+get_bad_boundary (void)
+{
+ /* This code assumes that dst will be in the highest page
+ * allocated to the user process. */
+ return (void *) ROUND_UP ((uintptr_t) (dst + sizeof(dst) - 1), 4096);
+}