Hi Martijn, Thanks for trying out Valhalla! On 15.09.20 17:17, Martijn Hoekstra wrote: > Are reports of these kinds of things valuable yet? If so, where/how can I > report it? Yes, such feedback is very much appreciated. Feel free to simply share the details here (maybe upload the hs_err* file and reproducer somewhere and send the link). Thanks, Tobias