The text 0c3160a8374f, as Debian 10 (Buster) shipped it.
initialize the system page size
vm_set_page_size(9freebsd) on Linux now
