push_triggerhappy has been implemented for a gun-only mode.