Fix #13: Cannot use the same identifier as a variable and as a lock