These are generated by scripts/definitions