Updating: adding libats-hwxi/teaching/fileAsLock