@neauoire I think the first example of SMC I saw in a product I worked on were polymorphic inline caches (PICs) in the ENVY/Smalltalk JIT.