SMS: An introduction to dynamic data structures /