The text 6ba0c5e951ac, as Debian 10 (Buster) shipped it.
Read a half float from a pointer to memory.
vload_half(3clc) on Linux now
