// This file is part of VSCPL, a simple cross-platform utility library