correct adl_functions.h