Make #if 0 type correct