Fix alignment issue in C emitter