Init_prelude        7 miniprelude.c  Init_prelude(void)
Init_prelude      194 prelude.c      Init_prelude(void)