sanity_check_os_behavior
sanity_check_os_behavior(softs);
void sanity_check_os_behavior(pqisrc_softstate_t *);