00110000-0012e000 r-xp 00000000 08:01 1104346    /lib/i386-linux-gnu/ld-2.13.so
0012e000-0012f000 r--p 0001d000 08:01 1104346    /lib/i386-linux-gnu/ld-2.13.so
0012f000-00130000 rw-p 0001e000 08:01 1104346    /lib/i386-linux-gnu/ld-2.13.so
00130000-00131000 r-xp 00000000 00:00 0          [vdso]
00131000-00134000 r-xp 00000000 08:01 1104343    /lib/i386-linux-gnu/libdl-2.13.so
00134000-00135000 r--p 00002000 08:01 1104343    /lib/i386-linux-gnu/libdl-2.13.so
00135000-00136000 rw-p 00003000 08:01 1104343    /lib/i386-linux-gnu/libdl-2.13.so
00136000-0015e000 r-xp 00000000 08:01 1104345    /lib/i386-linux-gnu/libm-2.13.so
0015e000-0015f000 r--p 00028000 08:01 1104345    /lib/i386-linux-gnu/libm-2.13.so
0015f000-00160000 rw-p 00029000 08:01 1104345    /lib/i386-linux-gnu/libm-2.13.so
00160000-002dc000 r-xp 00000000 08:01 1048673    /lib/i386-linux-gnu/libc-2.13.so
002dc000-002de000 r--p 0017c000 08:01 1048673    /lib/i386-linux-gnu/libc-2.13.so
002de000-002df000 rw-p 0017e000 08:01 1048673    /lib/i386-linux-gnu/libc-2.13.so
002df000-002e2000 rw-p 00000000 00:00 0 
002e2000-002e8000 rwxp 00000000 00:00 0 
08048000-0806d000 r-xp 00000000 08:01 1416928    /usr/local/cmucl-2016-02/bin/lisp
0806d000-0806e000 r--p 00024000 08:01 1416928    /usr/local/cmucl-2016-02/bin/lisp
0806e000-0806f000 rw-p 00025000 08:01 1416928    /usr/local/cmucl-2016-02/bin/lisp
0806f000-0809a000 rw-p 00000000 00:00 0          [heap]
10000000-1192c000 rwxp 00001000 08:01 1416903    /usr/local/cmucl-2016-02/lib/cmucl/lib/lisp-sse2.core
1192c000-1ffff000 rwxp 00000000 00:00 0 
20000000-27fff000 rwxp 00000000 00:00 0 
28000000-2837e000 rwxp 0192d000 08:01 1416903    /usr/local/cmucl-2016-02/lib/cmucl/lib/lisp-sse2.core
2837e000-37fff000 rwxp 00000000 00:00 0 
38000000-38010000 r-xp 00000000 00:00 0 
38010000-3ffff000 rwxp 00000000 00:00 0 
58000000-58100000 rwxp 00000000 00:00 0 
58100000-58102000 rwxp 01cab000 08:01 1416903    /usr/local/cmucl-2016-02/lib/cmucl/lib/lisp-sse2.core
58102000-b5d00000 rwxp 00000000 00:00 0 
b7b82000-b7fea000 rw-p 00000000 00:00 0 
b7ffe000-b8000000 rw-p 00000000 00:00 0 
bffdf000-c0000000 rw-p 00000000 00:00 0          [stack]
