Update libas.h