py-log-symbols is a stub port
