The text 75f448a83f21, as Debian 10 (Buster) shipped it.
Read a half float vector from a pointer to memory.
vload_halfn(3clc) on Linux now
