Available since 2.2.0. Time complexity: O(1) for every key. Marks the given keys to be watched for conditional execution of a transaction. Return value Status code reply: always OK.