still prone to random(?) segfault