sym_top instead of top