add Avail prototype