sml example