Those are not POCKET semiautos.
I guess we can deliberate about "whose pocket" and how big pockets actually are...
An LCP is a pocket semiauto. A G42 is barely a pocket semiauto.
Call me old, but I always sorta thought that pocket semiautos are those that could be shoved in the same space as one would shove a pack of smokes.