make menu() easily loggable