add slice, dictionary-keys procedure