/* External interface. */