Reported by Nicolas. File attached.

martin@linux:~/Desktop> pp-aterm -i term.baf
Segmentation fault

martin@linux:~/Desktop> baffle -wt -i term.baf
prod([opt(sort(“PointerSeq”)),opt(layout),sort(“DirectDeclarator”)],sort(“Declarator”),attrs([term(attributes([((“decl”,“has_amb”),0),((“decl”,“lr_table_in”),Hashtable("000000000004 ")),((“decl”,“kr_fundecl”),0),((“decl”,“is_func”),1),((“decl”,“bu_ids”),[(“r”,“variable”)]),((“decl”,“lr_table_syn”),Hashtable("000000000004)),((“decl”,“name”),“my_sqrt”)])),term(cons(“Declarator-dunno-o_1”))]))

martin@linux:~/Desktop> baffle -wt -i term.baf | pp-aterm
Segmentation fault

martin@linux:~/Desktop> sdf-ensugar -i term.baf
Segmentation fault

martin@linux:~/Desktop> cat term.baf | termsize
internal size : 1639 bytes
text size : 405 bytes
depth : 10
unique symbols : 29
unique terms : 60
allocated bytes : 688248

Submitted on 15 January 2007 at 14:16