Miscellaneous FRC code.