The text ccedd38dc9a3, as Debian 11 (Bullseye) shipped it.
Read half float vector from a pointer to memory.
vloada_halfn(3clc) on Linux now
