Adding the split() crash specifier call