Generated by binutils.py