Would y'all like me to package MLton for Debian and toss it into the next release? -- Barak A. Pearlmutter <bap@cs.unm.edu>, http://www.cs.unm.edu/~bap/