Get rid of union
Deinline probe
Use generation for emptiness test