Added all_toplevel for testing