starting 12247 (currently segfault)