frameSet.makePrototype(prototype_name, getKind(), getProperties(),
frameSet.makePrototype(prototype_name, getKind(), getLocalSlots(),
    void copyToFrameSet(FrameSet frameSet)    {	frameSet.makePrototype(prototype_name, getKind(), getProperties(), 			       getUID());    }