_buddy_alloc works