hildon_banner = HILDON_BANNER(hildon_banner_show_animation(b_window,animation_name,text));
fail_if(!HILDON_IS_BANNER(hildon_banner),
hildon_banner = HILDON_BANNER(hildon_banner_show_animation(b_window,animation_name,text));
fail_if(!HILDON_IS_BANNER(hildon_banner),