/* * Machine-dependent functions: */