ports/misc/py-log_symbols