No subject

Henry Cejtin henry@sourcelight.com
Wed, 6 Sep 2000 16:17:44 -0500


>From costa@ufu.br  Wed Sep  6 13:08:57 2000
Date: Wed, 06 Sep 2000 13:31:17 -0300
To: Henry Cejtin <henry@sourcelight.com>
From: costa@ufu.br (Antonio Eduardo Costa Pereira)
Subject: Re: Unable to install MLton
Reply-To: costa@ufu.br

Dear Henry.
Thank you for your prompt answer. I asked prof. Jamil
to help me with this problem. I think that the letter
that Stephen received was from him.

>The only thing that I can guess is that you have very very 
> little memory.

Well, maybe I don't have a lot of memory, but I think it is
 plenty enough: around  64M. However, since memory is quite
inexpensive, if the problem is that, I can buy some more.

>As I said, if you could mail me the result of
>	cat /proc/meminfo

     total:   used:     free:     shared:    buffers:    cached:
Mem: 63918080 40689664  23228416  6582272    2342912     30613504
Swap: 0        0         0
Memtotal: 62420 kB
Memfree:  22684 kB
Memshared: 6428 kB
Buffers:   228 kB
Swap total: 0
Swap free:  0


Prof Jamil thinks that we should configure it for the Slackware,
and recompile it. He would like you to inform how the compilation
is done. If possible, you could send a configure program, like
the one used in ocaml, or bigloo. Is it possible to do that?

>Actually, the best thing would be to run
>	strace mlton hello-world.sml >/tmp/z 2>&1
>and then to mail MLton@sourcelight.com a coy of the resulting file 
/tmp/z.

Here it is:


execve("/usr/local/bin/mlton", ["mlton", "hello-world.sml"], [/* 37 
vars */]) = 0
brk(0)                                  = 0x80b516c
mmap(0, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 
0) = 0x40013000
open("/etc/ld.so.preload", O_RDONLY)    = -1 ENOENT (No such file 
or directory)
open("/etc/ld.so.cache", O_RDONLY)      = 3
fstat(3, {st_mode=0, st_size=0, ...})   = 0
mmap(0, 20797, PROT_READ, MAP_PRIVATE, 3, 0) = 0x40014000
close(3)                                = 0
open("/lib/libtermcap.so.2", O_RDONLY)  = 3
fstat(3, {st_mode=0, st_size=0, ...})   = 0
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3"..., 4096) = 4096
mmap(0, 13800, PROT_READ|PROT_EXEC, MAP_PRIVATE, 3, 0) = 0x4001a000
mprotect(0x4001d000, 1512, PROT_NONE)   = 0
mmap(0x4001d000, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED, 
3, 0x2000) = 0x4001d000
close(3)                                = 0
open("/lib/libdl.so.2", O_RDONLY)       = 3
fstat(3, {st_mode=0, st_size=0, ...})   = 0
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3"..., 4096) = 4096
mmap(0, 11436, PROT_READ|PROT_EXEC, MAP_PRIVATE, 3, 0) = 0x4001e000
mprotect(0x40020000, 3244, PROT_NONE)   = 0
mmap(0x40020000, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED, 
3, 0x1000) = 0x40020000
close(3)                                = 0
open("/lib/libc.so.6", O_RDONLY)        = 3
fstat(3, {st_mode=0, st_size=0, ...})   = 0
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3"..., 4096) = 4096
mmap(0, 949788, PROT_READ|PROT_EXEC, MAP_PRIVATE, 3, 0) = 
0x40021000
mprotect(0x40102000, 28188, PROT_NONE)  = 0
mmap(0x40102000, 16384, PROT_READ|PROT_WRITE, 
MAP_PRIVATE|MAP_FIXED, 3, 0xe0000) = 0x40102000
mmap(0x40106000, 11804, PROT_READ|PROT_WRITE, 
MAP_PRIVATE|MAP_FIXED|MAP_ANONYMOUS, -1, 0) = 0x40106000
close(3)                                = 0
mprotect(0x40021000, 921600, PROT_READ|PROT_WRITE) = 0
mprotect(0x40021000, 921600, PROT_READ|PROT_EXEC) = 0
munmap(0x40014000, 20797)               = 0
personality(PER_LINUX)                  = 0
getpid()                                = 188
brk(0)                                  = 0x80b516c
brk(0x80b6000)                          = 0x80b6000
rt_sigprocmask(0, 0xbffff850, 0xbffff7d0, 0x8, 0) = 0
brk(0x80b7000)                          = 0x80b7000
rt_sigprocmask(0x2, 0xbffff7d0, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
open("/dev/tty", O_RDWR|O_NONBLOCK)     = 3
close(3)                                = 0
rt_sigprocmask(0, 0xbffff74c, 0xbffff6cc, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff6cc, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffb6b0, 0xbfffb630, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffb630, 0, 0x8, 0x2) = 0
open("/usr/share/locale/locale.alias", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...})   = 0
mmap(0, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 
0) = 0x40014000
read(3, "# Locale name alias data base.\n"..., 4096) = 2174
rt_sigprocmask(0, 0xbfffb694, 0xbfffb614, 0x8, 0) = 0
brk(0x80b8000)                          = 0x80b8000
rt_sigprocmask(0x2, 0xbfffb614, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffb6a4, 0xbfffb624, 0x8, 0) = 0
brk(0x80b9000)                          = 0x80b9000
rt_sigprocmask(0x2, 0xbfffb624, 0, 0x8, 0x2) = 0
read(3, "", 4096)                       = 0
close(3)                                = 0
munmap(0x40014000, 4096)                = 0
open("/usr/share/i18n/locale.alias", O_RDONLY) = -1 ENOENT (No such 
file or directory)
rt_sigprocmask(0, 0xbffff6c4, 0xbffff644, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff644, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff5ec, 0xbffff56c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff56c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff658, 0xbffff5d8, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff5d8, 0, 0x8, 0x2) = 0
open("/usr/share/locale/pt_BR/LC_MESSAGES", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...})   = 0
close(3)                                = 0
open("/usr/share/locale/pt_BR/LC_MESSAGES/SYS_LC_MESSAGES", 
O_RDONLY) = -1 ENOENT (No such file or directory)
open("/usr/share/i18n/pt_BR/LC_MESSAGES", O_RDONLY) = -1 ENOENT (No 
such file or directory)
open("/usr/share/locale/pt/LC_MESSAGES", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...})   = 0
close(3)                                = 0
open("/usr/share/locale/pt/LC_MESSAGES/SYS_LC_MESSAGES", O_RDONLY) 
= -1 ENOENT (No such file or directory)
open("/usr/share/i18n/pt/LC_MESSAGES", O_RDONLY) = -1 ENOENT (No 
such file or directory)
getuid()                                = 0
getgid()                                = 0
geteuid()                               = 0
getegid()                               = 0
rt_sigprocmask(0, 0, 0x80b48fc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbffff81c, 0xbffff79c, 0x8, 0) = 0
brk(0x80ba000)                          = 0x80ba000
rt_sigprocmask(0x2, 0xbffff79c, 0, 0x8, 0x2) = 0
time(NULL)                              = 968294409
rt_sigaction(0x11, 0xbffff5d0, 0xbffff544, 0x8, 0x11) = 0
rt_sigaction(0x11, 0xbffff5c8, 0xbffff53c, 0x8, 0x11) = 0
rt_sigaction(0x2, 0xbffff5c0, 0xbffff534, 0x8, 0x2) = 0
rt_sigaction(0x2, 0xbffff5b8, 0xbffff52c, 0x8, 0x2) = 0
rt_sigaction(0x3, 0xbffff5d0, 0xbffff544, 0x8, 0x3) = 0
rt_sigaction(0x3, 0xbffff5c8, 0xbffff53c, 0x8, 0x3) = 0
rt_sigprocmask(0, 0, 0x80b4f40, 0x8, 0) = 0
rt_sigaction(0x3, 0xbffff5bc, 0xbffff530, 0x8, 0x3) = 0
uname({sys="Linux", node="lampiao", ...}) = 0
rt_sigprocmask(0, 0xbffff6e8, 0xbffff668, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff668, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c0, 0xbffff640, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff640, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c8, 0xbffff648, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff648, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c0, 0xbffff640, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff640, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c4, 0xbffff644, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff644, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c0, 0xbffff640, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff640, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c0, 0xbffff640, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff640, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c8, 0xbffff648, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff648, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c0, 0xbffff640, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff640, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c0, 0xbffff640, 0x8, 0) = 0
brk(0x80bb000)                          = 0x80bb000
rt_sigprocmask(0x2, 0xbffff640, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c4, 0xbffff644, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff644, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6c0, 0xbffff640, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff640, 0, 0x8, 0x2) = 0
stat("/usr/doc/mlton-20000712/examples", {st_mode=0, st_size=0, 
...}) = 0
stat(".", {st_mode=0, st_size=0, ...})  = 0
getpid()                                = 188
getppid()                               = 187
rt_sigprocmask(0, 0xbffff6c8, 0xbffff648, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff648, 0, 0x8, 0x2) = 0
stat(".", {st_mode=0, st_size=0, ...})  = 0
stat("/usr/local/sbin/sh", 0xbffff5f4)  = -1 ENOENT (No such file 
or directory)
stat("/usr/local/bin/sh", 0xbffff5f4)   = -1 ENOENT (No such file 
or directory)
stat("/sbin/sh", 0xbffff5f4)            = -1 ENOENT (No such file 
or directory)
stat("/usr/sbin/sh", 0xbffff5f4)        = -1 ENOENT (No such file 
or directory)
stat("/bin/sh", {st_mode=0, st_size=0, ...}) = 0
stat("/bin/sh", {st_mode=0, st_size=0, ...}) = 0
rt_sigprocmask(0, 0xbffff6b4, 0xbffff634, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff634, 0, 0x8, 0x2) = 0
getpgrp()                               = 187
rt_sigaction(0x11, 0xbffff5cc, 0xbffff540, 0x8, 0x11) = 0
rt_sigprocmask(0, 0xbffff6b0, 0xbffff630, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff630, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
open("/usr/local/bin/mlton", O_RDONLY)  = 3
lseek(3, 0, SEEK_CUR)                   = 0
read(3, "#!/bin/sh\n\n# This script calls"..., 80) = 80
lseek(3, 0, SEEK_SET)                   = 0
fcntl(3, F_SETFD, FD_CLOEXEC)           = 0
fcntl(3, F_GETFL)                       = 0 (flags O_RDONLY)
fstat(3, {st_mode=0, st_size=0, ...})   = 0
lseek(3, 0, SEEK_CUR)                   = 0
rt_sigprocmask(0, 0xbffff7a4, 0xbffff724, 0x8, 0) = 0
brk(0x80bc000)                          = 0x80bc000
rt_sigprocmask(0x2, 0xbffff724, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff76c, 0xbffff6ec, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff6ec, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
read(3, "#!/bin/sh\n\n# This script calls"..., 1249) = 1249
rt_sigprocmask(0, 0xbfffefa4, 0xbfffef24, 0x8, 0) = 0
brk(0x80bd000)                          = 0x80bd000
rt_sigprocmask(0x2, 0xbfffef24, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffef34, 0xbfffeeb4, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffeeb4, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffeefc, 0xbfffee7c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffee7c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffef34, 0xbfffeeb4, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffeeb4, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff6a0, 0xbffff620, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff620, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff494, 0xbffff414, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff414, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff2b4, 0xbffff234, 0x8, 0) = 0
brk(0x80be000)                          = 0x80be000
rt_sigprocmask(0x2, 0xbffff234, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff46c, 0xbffff3ec, 0x8, 0) = 0
brk(0x80bf000)                          = 0x80bf000
rt_sigprocmask(0x2, 0xbffff3ec, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b4ebc, 0x8, 0) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffef7c, 0xbfffeefc, 0x8, 0) = 0
brk(0x80c0000)                          = 0x80c0000
rt_sigprocmask(0x2, 0xbfffeefc, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbfffefd4, 0xbfffef54, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbfffef54, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff750, 0xbffff6d0, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff6d0, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff620, 0xbffff5a0, 0x8, 0) = 0
brk(0x80c1000)                          = 0x80c1000
rt_sigprocmask(0x2, 0xbffff5a0, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff584, 0xbffff504, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff504, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff58c, 0xbffff50c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff50c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff58c, 0xbffff50c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff50c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b397c, 0x8, 0) = 0
stat("/usr/local/lib/mlton/lib/mlton.x86-linux", 0xbffff540) = -1 
ENOENT (No such file or directory)
stat("/usr/local/lib/mlton/lib/mlton", {st_mode=0, st_size=0, ...}) 
= 0
stat("/usr/local/lib/mlton/lib/mlton.x86-linux", 0xbffff4ac) = -1 
ENOENT (No such file or directory)
rt_sigprocmask(0x2, 0x80b397c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0, 0x80b397c, 0x8, 0) = 0
stat("/usr/local/lib/mlton/lib/mlton", {st_mode=0, st_size=0, ...}) 
= 0
rt_sigprocmask(0x2, 0x80b397c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4e8, 0xbffff468, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff468, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff500, 0xbffff480, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff480, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff500, 0xbffff480, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff480, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff500, 0xbffff480, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff480, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff500, 0xbffff480, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff480, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigprocmask(0, 0xbffff4fc, 0xbffff47c, 0x8, 0) = 0
rt_sigprocmask(0x2, 0xbffff47c, 0, 0x8, 0x2) = 0
rt_sigaction(0x2, 0xbffff3c8, 0xbffff33c, 0x8, 0x2) = 0
rt_sigaction(0x3, 0xbffff3c8, 0xbffff33c, 0x8, 0x3) = 0
rt_sigaction(0x11, 0xbffff3c8, 0xbffff33c, 0x8, 0x11) = 0
execve("/usr/local/lib/mlton/lib/mlton", 
["/usr/local/lib/mlton/lib/mlton", "@MLton", "load-world", 
"/usr/local/lib/mlton/lib/world.m"..., "--", 
"/usr/local/lib/mlton", "gcc", "-w", "-fomit-frame-pointer", "-fno-
strength-reduce", "-m486", "-malign-loops=2", "-malign-jumps=2", "-
malign-functions=2", "END", "-I/usr/local/lib/mlton/include", ...], 
[/* 33 vars */]) = 0
brk(0)                                  = 0x847db30
mmap(0, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 
0) = 0x40013000
open("/etc/ld.so.preload", O_RDONLY)    = -1 ENOENT (No such file 
or directory)
open("/etc/ld.so.cache", O_RDONLY)      = 3
fstat(3, {st_mode=0, st_size=0, ...})   = 0
mmap(0, 20797, PROT_READ, MAP_PRIVATE, 3, 0) = 0x40014000
close(3)                                = 0
open("/lib/libm.so.6", O_RDONLY)        = 3
fstat(3, {st_mode=0, st_size=0, ...})   = 0
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3"..., 4096) = 4096
mmap(0, 111096, PROT_READ|PROT_EXEC, MAP_PRIVATE, 3, 0) = 
0x4001a000
mprotect(0x40035000, 504, PROT_NONE)    = 0
mmap(0x40035000, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED, 
3, 0x1a000) = 0x40035000
close(3)                                = 0
open("/lib/libc.so.6", O_RDONLY)        = 3
fstat(3, {st_mode=0, st_size=0, ...})   = 0
read(3, "\177ELF\1\1\1\0\0\0\0\0\0\0\0\0\3"..., 4096) = 4096
mmap(0, 949788, PROT_READ|PROT_EXEC, MAP_PRIVATE, 3, 0) = 
0x40036000
mprotect(0x40117000, 28188, PROT_NONE)  = 0
mmap(0x40117000, 16384, PROT_READ|PROT_WRITE, 
MAP_PRIVATE|MAP_FIXED, 3, 0xe0000) = 0x40117000
mmap(0x4011b000, 11804, PROT_READ|PROT_WRITE, 
MAP_PRIVATE|MAP_FIXED|MAP_ANONYMOUS, -1, 0) = 0x4011b000
close(3)                                = 0
mprotect(0x40036000, 921600, PROT_READ|PROT_WRITE) = 0
mprotect(0x40036000, 921600, PROT_READ|PROT_EXEC) = 0
munmap(0x40014000, 20797)               = 0
personality(PER_LINUX)                  = 0
getpid()                                = 188
brk(0)                                  = 0x847db30
brk(0x847dcd0)                          = 0x847dcd0
brk(0x847e000)                          = 0x847e000
getrusage(RUSAGE_SELF, {ru_utime={0, 30000}, ru_stime={0, 0}, ...}) 
= 0
open("/usr/local/lib/mlton/lib/world.mlton", O_RDONLY) = 3
fstat(3, {st_mode=0, st_size=0, ...})   = 0
mmap(0, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 
0) = 0x40014000
read(3, "Heap file created by MLton.\nbas"..., 4096) = 4096
mmap(0, 27664384, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 
-1, 0) = 0x4011e000
read(3, "\0\0\v\0\0\0\0\0\0\2\1\0\0\0\200"..., 3452928) = 3452928
read(3, "\0\1\200\0\200\t\0\0\0dpdC\1\200"..., 4096) = 4096
read(3, "CP\3140C\\\3140Ch\3140Ct\3140C\210"..., 8192) = 8192
read(3, "C\260?1C\274?1C\310?1C\324?1C\340"..., 4096) = 2605
read(3, "", 4096)                       = 0
close(3)                                = 0
munmap(0x40014000, 4096)                = 0
mmap(0, 27664384, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 
-1, 0) = 0x41b80000
rt_sigaction(0, 0, 0xbffff280, 0x8, 0)  = -1 EINVAL (Invalid 
argument)
rt_sigaction(0x1, 0, 0xbffff280, 0x8, 0x1) = 0
rt_sigaction(0x2, 0, 0xbffff280, 0x8, 0x2) = 0
rt_sigaction(0x3, 0, 0xbffff280, 0x8, 0x3) = 0
rt_sigaction(0x4, 0, 0xbffff280, 0x8, 0x4) = 0
rt_sigaction(0x5, 0, 0xbffff280, 0x8, 0x5) = 0
rt_sigaction(0x6, 0, 0xbffff280, 0x8, 0x6) = 0
rt_sigaction(0x7, 0, 0xbffff280, 0x8, 0x7) = 0
rt_sigaction(0x8, 0, 0xbffff280, 0x8, 0x8) = 0
rt_sigaction(0x9, 0, 0xbffff280, 0x8, 0x9) = 0
rt_sigaction(0xa, 0, 0xbffff280, 0x8, 0xa) = 0
rt_sigaction(0xb, 0, 0xbffff280, 0x8, 0xb) = 0
rt_sigaction(0xc, 0, 0xbffff280, 0x8, 0xc) = 0
rt_sigaction(0xd, 0, 0xbffff280, 0x8, 0xd) = 0
rt_sigaction(0xe, 0, 0xbffff280, 0x8, 0xe) = 0
rt_sigaction(0xf, 0, 0xbffff280, 0x8, 0xf) = 0
rt_sigaction(0x10, 0, 0xbffff280, 0x8, 0x10) = 0
rt_sigaction(0x11, 0, 0xbffff280, 0x8, 0x11) = 0
rt_sigaction(0x12, 0, 0xbffff280, 0x8, 0x12) = 0
rt_sigaction(0x13, 0, 0xbffff280, 0x8, 0x13) = 0
rt_sigaction(0x14, 0, 0xbffff280, 0x8, 0x14) = 0
rt_sigaction(0x15, 0, 0xbffff280, 0x8, 0x15) = 0
rt_sigaction(0x16, 0, 0xbffff280, 0x8, 0x16) = 0
rt_sigaction(0x17, 0, 0xbffff280, 0x8, 0x17) = 0
rt_sigaction(0x18, 0, 0xbffff280, 0x8, 0x18) = 0
rt_sigaction(0x19, 0, 0xbffff280, 0x8, 0x19) = 0
rt_sigaction(0x1a, 0, 0xbffff280, 0x8, 0x1a) = 0
rt_sigaction(0x1b, 0, 0xbffff280, 0x8, 0x1b) = 0
rt_sigaction(0x1c, 0, 0xbffff280, 0x8, 0x1c) = 0
rt_sigaction(0x1d, 0, 0xbffff280, 0x8, 0x1d) = 0
rt_sigaction(0x1e, 0, 0xbffff280, 0x8, 0x1e) = 0
rt_sigaction(0x1f, 0, 0xbffff280, 0x8, 0x1f) = 0
rt_sigaction(0x20, 0, 0xbffff280, 0x8, 0x20) = 0
rt_sigaction(0x21, 0, 0xbffff280, 0x8, 0x21) = 0
rt_sigaction(0x22, 0, 0xbffff280, 0x8, 0x22) = 0
rt_sigaction(0x23, 0, 0xbffff280, 0x8, 0x23) = 0
rt_sigaction(0x24, 0, 0xbffff280, 0x8, 0x24) = 0
rt_sigaction(0x25, 0, 0xbffff280, 0x8, 0x25) = 0
rt_sigaction(0x26, 0, 0xbffff280, 0x8, 0x26) = 0
rt_sigaction(0x27, 0, 0xbffff280, 0x8, 0x27) = 0
rt_sigaction(0x28, 0, 0xbffff280, 0x8, 0x28) = 0
rt_sigaction(0x29, 0, 0xbffff280, 0x8, 0x29) = 0
rt_sigaction(0x2a, 0, 0xbffff280, 0x8, 0x2a) = 0
rt_sigaction(0x2b, 0, 0xbffff280, 0x8, 0x2b) = 0
rt_sigaction(0x2c, 0, 0xbffff280, 0x8, 0x2c) = 0
rt_sigaction(0x2d, 0, 0xbffff280, 0x8, 0x2d) = 0
rt_sigaction(0x2e, 0, 0xbffff280, 0x8, 0x2e) = 0
rt_sigaction(0x2f, 0, 0xbffff280, 0x8, 0x2f) = 0
rt_sigaction(0x30, 0, 0xbffff280, 0x8, 0x30) = 0
rt_sigaction(0x31, 0, 0xbffff280, 0x8, 0x31) = 0
rt_sigaction(0x32, 0, 0xbffff280, 0x8, 0x32) = 0
rt_sigaction(0x33, 0, 0xbffff280, 0x8, 0x33) = 0
rt_sigaction(0x34, 0, 0xbffff280, 0x8, 0x34) = 0
rt_sigaction(0x35, 0, 0xbffff280, 0x8, 0x35) = 0
rt_sigaction(0x36, 0, 0xbffff280, 0x8, 0x36) = 0
rt_sigaction(0x37, 0, 0xbffff280, 0x8, 0x37) = 0
rt_sigaction(0x38, 0, 0xbffff280, 0x8, 0x38) = 0
rt_sigaction(0x39, 0, 0xbffff280, 0x8, 0x39) = 0
rt_sigaction(0x3a, 0, 0xbffff280, 0x8, 0x3a) = 0
rt_sigaction(0x3b, 0, 0xbffff280, 0x8, 0x3b) = 0
rt_sigaction(0x3c, 0, 0xbffff280, 0x8, 0x3c) = 0
rt_sigaction(0x3d, 0, 0xbffff280, 0x8, 0x3d) = 0
rt_sigaction(0x3e, 0, 0xbffff280, 0x8, 0x3e) = 0
rt_sigaction(0x3f, 0, 0xbffff280, 0x8, 0x3f) = 0
stat("/tmp", {st_mode=0, st_size=0, ...}) = 0
gettimeofday({968294410, 33341}, NULL)  = 0
getpid()                                = 188
stat("/tmp/fileOf45Ad", 0xbffff334)     = -1 ENOENT (No such file 
or directory)
gettimeofday({968294410, 60327}, NULL)  = 0
open("/etc/localtime", O_RDONLY)        = 3
read(3, "TZif\0\0\0\0\0\0\0\0\0\0\0\0\0\0"..., 44) = 44
brk(0x847f000)                          = 0x847f000
read(3, "\226\252r\264\270\17I\340\270\375"..., 645) = 645
fstat(3, {st_mode=0, st_size=0, ...})   = 0
mmap(0, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 
0) = 0x40014000
read(3, "\377\377\324L\0\0\377\377\343\340"..., 4096) = 45
close(3)                                = 0
munmap(0x40014000, 4096)                = 0
open("hello-world.sml", O_RDONLY)       = 3
open("/tmp/fileOf45Ad.c", O_WRONLY|O_CREAT|O_TRUNC, 0666) = 4
fstat(4, {st_mode=0, st_size=0, ...})   = 0
ioctl(4, TTY_MAGIC, 0xbffff3d8)         = -1 ENOTTY (Inappropriate 
ioctl for device)
rt_sigprocmask(0, 0x847d968, 0, 0x8, 0) = 0
rt_sigprocmask(0x1, 0x847d968, 0, 0x8, 0x1) = 0
rt_sigprocmask(0, 0x847d968, 0, 0x8, 0) = 0
rt_sigprocmask(0x1, 0x847d968, 0, 0x8, 0x1) = 0
rt_sigprocmask(0, 0x847d968, 0, 0x8, 0) = 0
rt_sigprocmask(0x1, 0x847d968, 0, 0x8, 0x1) = 0
read(3, "val _ = print \"Hello, world!\\n"..., 1024) = 32
read(3, "", 992)                        = 0
stat("/tmp", {st_mode=0, st_size=0, ...}) = 0
gettimeofday({968294410, 487305}, NULL) = 0
getpid()                                = 188
stat("/tmp/fileorQFZL", 0xbffff334)     = -1 ENOENT (No such file 
or directory)
open("/tmp/fileorQFZL.c", O_WRONLY|O_CREAT|O_TRUNC, 0666) = 5
fstat(5, {st_mode=0, st_size=0, ...})   = 0
ioctl(5, TTY_MAGIC, 0xbffff3d8)         = -1 ENOTTY (Inappropriate 
ioctl for device)
write(5, "#include <stdio.h>\n#include \"m"..., 260) = 260
close(5)                                = 0
stat("/tmp", {st_mode=0, st_size=0, ...}) = 0
gettimeofday({968294410, 498817}, NULL) = 0
getpid()                                = 188
stat("/tmp/file6kFUPl", 0xbffff334)     = -1 ENOENT (No such file 
or directory)
fork()                                  = 189
rt_sigaction(0x2, 0xbffff668, 0, 0x8, 0x2) = 0
rt_sigaction(0x3, 0xbffff668, 0, 0x8, 0x3) = 0
wait4(189, [WIFEXITED(s) && WEXITSTATUS(s) == 0], 0, NULL) = 189
--- SIGCHLD (Filho finalizado) ---
rt_sigaction(0x2, 0xbffff668, 0, 0x8, 0x2) = 0
rt_sigaction(0x3, 0xbffff668, 0, 0x8, 0x3) = 0
stat("/tmp", {st_mode=0, st_size=0, ...}) = 0
gettimeofday({968294413, 798094}, NULL) = 0
getpid()                                = 188
stat("/tmp/fileJUbRsg", 0xbffff334)     = -1 ENOENT (No such file 
or directory)
fork()                                  = 195
rt_sigaction(0x2, 0xbffff668, 0, 0x8, 0x2) = 0
rt_sigaction(0x3, 0xbffff668, 0, 0x8, 0x3) = 0
wait4(195, [WIFEXITED(s) && WEXITSTATUS(s) == 0], 0, NULL) = 195
--- SIGCHLD (Filho finalizado) ---
rt_sigaction(0x2, 0xbffff668, 0, 0x8, 0x2) = 0
rt_sigaction(0x3, 0xbffff668, 0, 0x8, 0x3) = 0
open("/tmp/fileJUbRsg", O_RDONLY)       = 5
read(5, "1073741823\ntrue\ntrue\n", 4096) = 21
read(5, "", 4096)                       = 0
close(5)                                = 0
access("/tmp/fileJUbRsg", F_OK)         = 0
unlink("/tmp/fileJUbRsg")               = 0
access("/tmp/file6kFUPl", F_OK)         = 0
unlink("/tmp/file6kFUPl")               = 0
access("/tmp/fileorQFZL.c", F_OK)       = 0
unlink("/tmp/fileorQFZL.c")             = 0
rt_sigprocmask(0, 0x847d968, 0, 0x8, 0) = 0
getrusage(RUSAGE_SELF, {ru_utime={0, 630000}, ru_stime={0, 250000}, 
...}) = 0
munmap(0x41b80000, 27664384)            = 0
mmap(0, 28659712, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, 
-1, 0) = -1 ENOMEM (Cannot allocate memory)
write(2, "mmap failed", 11mmap failed)             = 11
write(2, "\n", 1
)                       = 1
_exit(1)                                = ?]