// automatically generated by stateify. package fsmetric