Check that `at_top` is not NULL