Worked on the idris-lang/Idris2 repository to enhance reliability and cross-platform correctness for WASM32 deployments. Focused on resolving a critical bug in the RefC backend, the work addressed integer comparison discrepancies by refining the extraction method for unboxed values, ensuring consistent behavior across platforms. Utilized C and Idris to implement and validate the fix, incorporating comprehensive regression testing to lock in correctness for 32-bit environments. All RefC tests were verified to pass on WASM32 using Emscripten and Node.js. The contribution also included codebase cleanup, removing redundant comments post-review, and demonstrated strong debugging and system programming skills.