// this keeps vfmt happy
module os2