0xffffffffc083ec38