signature SIMAPPING = sig
         exception NotFound;
         val create : (string * int) list;
         val insert : string * int * (string * int) list ->
                 (string * int) list;
         val lookup : string * (string * int) list -> int
     end;