2 ms·

I should add that 10 minutes later I got rid of that specific segfault I spent nights on! Wish you all the same luck.