[Reduction] #128-129: __rtl_write and __write

Underscores and wrappers, hooray.
__write is not included in the widely available version of WRITEA.CAS, but
it's still part of the same object file.