better toplevel tests