nint32_array was missing in switch