id	summary	owner	type	priority	version	resolution
3789	Segfault and -dstg-lint errors using FFI and -XEmptyDataDecls		bug	high	6.12.1	fixed