I noticed the definition of the EIP register in "src\register.rs" as follows:

RegisterInfo { register: Register::EIP, base: Register::EIP, full_register32: Register::RIP, full_register: Register::RIP, size: 4 },
RegisterInfo { register: Register::RIP, base: Register::EIP, full_register32: Register::RIP, full_register: Register::RIP, size: 8 },

According to the usual understanding, shouldn't full_register32 for EIP be EIP instead of RIP? Or is it intentionally set this due to the special nature of the EIP/RIP registers? I'm not sure