Some updates:

Some questions:

(*) antioxidant doesn't support cross-compilation yet, but in the past I've tried out cross-compiling the standard library and it seemed to work, though it wasn't completed.