Autogenerated by scripts/gen/strong.py