Hi, Nick -

>   [...]  The first is that it declares several void functions and
>   then uses a "return <expression>" statement.

But in C++, it is valid to return a void value from a void function.
What compiler version barfs on this?

>   The second is that it uses the "reinterpret_cast<>" operator to
>   convert between integer types and floating point types, which for
>   some versions of GCC at least, does not work.  [...]

Sure.  (Actually, does any cgen/sid port use floating-point?)

- FChE