finish re.idl