In the Forklang language, it is possible for a task to access a memory location without acquiring a lock first. This makes it possible for a task to introduce errors in the execution of another task, even if that other task properly acquires and releases locks. Modify the semantics of heap read and write operations in Forklang such that they enforce locking discipline.