prove cheat in compile_top_labels