id	summary	owner	type	priority	version	os
4910	mkStdGen (-2^31) is ⊥		bug	high		Unknown/Multiple