A compiler for a Standard-ML like language that generates code suitable for embedded computers.