Buffer overflow: res is 32-bit