[Xotcl] Segmentation fault