/*
 * XXX: it would be nice to be possible to flag some kind of
 * never-fatal warning message here.
 */

#include <rump-sys/kern.h>