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