// gdb-memory-layout.c
 
 #include <stdio.h>
 
 int main(void)
 {
    printf("hello world\n");
 
    return 0;
 }