modify buddy_init() in buddy.c for splint