minix3/lib/libvassert/libvassert.a