atom_length/2, char_code/2,
atom_concat/3, sub_atom/5
library(random): random(L,L,X) would succeed with X = L
instead of failing
queues:singleton_queue/2 returned the wrong term
case/[3,4]
table/[2,3]: bug with inf/sup in binary relations