renamed in examples eol to sml