This probably doesn't matter that much since I don't
think the function names get used during execution,
but they get seen by tools/annotate.py