The Lazys_C sml