AGDA_LIB changes