ref: 46faca54edf1eda39a45f540697196074a00c779
parent: 1e315f896d9496e22546304ef8b2de74b9451fc4
author: Ori Bernstein <ori@eigenstate.org>
date: Mon Aug 10 15:36:09 EDT 2020
stdio.h: correct return type of putc The putc macro is specified as returning an int, but our type conversion rules turned it into a uint. Put in the appropriate cast to make the type what we want.