These are all non-crashing now, so it looks like the underlying issue is fixed. (It was probably #429.) Fix #442.