notation with data type
lock file update