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