/* * OS identification */