def get_oath_hotp_bits(params):
if "<STR_LIT>" in params:<EOL><INDENT>return params["<STR_LIT>"][<NUM_LIT:0>], int(params["<STR_LIT>"][<NUM_LIT:0>])<EOL><DEDENT>m = re.match("<STR_LIT>", params["<STR_LIT>"][<NUM_LIT:0>])<EOL>uid, otp, = m.groups()<EOL>return uid, int(otp),<EOL>
Extract the OATH-HOTP uid and OTP from params.