The PAIR k instruction is now usable thanks to tezos/tezos!2815 (merged)
PAIR k
Changelog: performance