/* Miscellaneous definitions */ /* Miscellaneous definitions */