C code transcoded into Vala code