/* Seen by userland. */