c4wa: A simplified subset of C transpiled into Web Assembly