+/* Together with statements in src/lib/user/user.lds, arranges
+ for the following array to be at the very end of the .bss
+ segment (needed for get_bad_boundary below). */
+static char dst[8192] __attribute__ ((section (".testEndmem,\"aw\",@nobits#")));