Just going through the c89 backend