ex31 segfault