This is a nice result. A similar pattern to generational garbage collection: divide everything into a fast, common path, and slow, fully general path.