ADA_DEFAULT_TIMEOUT
#ifndef ADA_DEFAULT_TIMEOUT
static int ada_default_timeout = ADA_DEFAULT_TIMEOUT;