fix dsld pseudocode to use ROTL64 instead of ROTL128