0x3fe434ec