Toy Implementation of SMIMP