As fewer and fewer builders were familiar with the formula for Roman concrete and how to make it, were the builders and architects of the day of late antiquity (presuming that's when the knowledge was lost) aware that the knowledge was being lost? Did any of them leave a record of concerns about it?