static void init_aAM() { if( !aAM_initialised ){ // these two keys (variable names) should never occur: ascanf_AddressMap.set_empty_key(0); ascanf_AddressMap.set_deleted_key((unsigned long) -1); aAM_initialised = 1; } }