#include "/sys/src/cmd/disk/kfs/porttime.c"