LRM declarations section