Unfortunately, we do not correctly handle types. If a program using types
other than int32_t (or typedefs of int32_t) compiles and runs
correctly, then it's your lucky day.
This repository has been archived by the owner on Dec 12, 2022. It is now read-only.