/* * Machine-independent functions: */