1. Introduction
A number of kinematics modules support the switching of kinematics calculations. These modules support a default kinematics method (type0), a second built-in method (type1), and (optionally) a user-provided kinematics method (type2). Identity kinematics are typically used for the type1 method.
The switchkins functionality can be used for machines where post-homing joint control is needed during setup or to avoid movement near singularities from G-code. Such machines use specific kinematics calculations for most operations but can be switched to identity kinematics for control of individual joints after homing.
The kinematics type is selected with G12.1 P- and G13.1, from a G-code program or by interactive MDI commands. Buttons on a virtual panel (PyVCP, GladeVCP, etc.) or on hardware controls select a kinematics type through the halui provisions for activating MDI commands.
Changing the kinematics type requires the interpreter and motion parts of LinuxCNC to be synchronized, which G12.1 and G13.1 do themselves.
A deprecated HAL pin, motion.switchkins-type, selects a kinematics type as well. It is described under Usage below, because existing configurations use it.
2. Switchable Kinematic Modules
The following kinematics modules support switchable kinematics:
-
xyzac-trt-kins (type0:xyzac-trt-kins type1:identity)
-
xyzbc-trt-kins (type0:xyzbc-trt-kins type1:identity)
-
genhexkins (type0:genhexkins type1:identity)
-
genserkins (type0:genserkins type1:identity) (puma560 example)
-
pumakins (type0:pumakins type1:identity)
-
three21kins (type0:three21kins type1:identity)
-
scarakins (type0:scarakins type1:identity)
-
5axiskins (type0:5axiskins type1:identity) (bridgemill)
-
millturn (type0:identity type1:turn)
-
xyzab_tdr_kins (type0:identity type1:tcp)
-
xyzacb_trsrn (type0:identity type1:tcp type2:tool)
-
xyzbca_trsrn (type0:identity type1:tcp type2:tool)
Every module listed above uses its own kinematics for type0 and identity kinematics for type1. Each accepts the module string parameter sparm to swap the two, so that the machine starts in identity kinematics and the module kinematics are selected on demand:
[KINS]
KINEMATICS = xyzac-trt-kins sparm=identityfirst
# ...
Starting in identity kinematics leaves a way out of poses the module kinematics cannot solve. A module kinematics failure (near a singularity, for instance) reports an error and disables the machine; type0 is then reached without running the failing kinematics again.
|
Note
|
The sparm setting exchanges type0 and type1, so any G-code or HAL logic that selects a kinematics type by number must match. |
Kinematics that solve the forward direction iteratively, genhexkins among them, need a pose to start from. While another type is running they take the estimate the caller supplies, which motion seeds from the [TRAJ]HOME world home, so they are ready to be switched to.
2.1. Identity letter assignments
When using an identity kinematics type, the module parameter coordinates can be used to assign letters to joints in arbitrary order from the set of allowed coordinate letters. Examples:
[KINS]
JOINTS = 6
# conventional identity ordering: joint0==x, joint1==y, ...
KINEMATICS = genhexkins coordinates=xyzabc
# custom identity ordering: joint0==c, joint1==b, ...
# KINEMATICS = genhexkins coordinates=cbazyx
|
Note
|
If the coordinates= parameter is omitted, the default joint-letter identity assignments are joint0==x,joint1=y,… |
The joint assignments provided for identity kinematics when using the coordinates parameter are identical to those provided for the trivkins module. However, duplication of axis letters to assign multiple joints for a coordinate letter is not generally applicable for serial or parallel kinematics (like genserkins, pumakins, genhexkins, etc.) where there is no simple relationship between joints and coordinates.
Duplication of axis coordinate letters is supported in the kinematics modules xyzac-trt-kins, xyzbc-trt-kins, and 5axiskins (bridgemill). Typical applications for duplicate coordinates are gantry machines where two motors (joints) are used for the transverse axis.
2.2. Backwards compatibility
Switchable kinematics initialize with motion.switchkins-type==0 implementing their eponymous kinematics method. If the the motion.switchkins-type pin is not connected — as in legacy configurations — only the default kinematics type is available.
3. HAL Pins
Kinematics switching is controlled by the motion module input HAL pin motion.switchkins-type. The floating point pin value is truncated to integer and used to select one of the provided kinematics types. The zero startup value selects the type0 default kinematics type.
|
Note
|
The motion.switchkins-type input pin is floating point in order to facilitate connections to motion module output pins like motion.analog-out-0n that are controllable by standard M-codes (typically M68EnL0). |
Output HAL pins are provided to inform GUIs of the current kinematics type. These pins can also be connected to digital inputs that are read by G-code programs to enable or disable program behavior in accordance with the active kinematics type.
3.1. HAL Pin Summary
-
motion.switchkins-type Input (real)
-
motion.kins-type Output (real)
-
kinstype.is-0 Output (bool)
-
kinstype.is-1 Output (bool)
-
kinstype.is-2 Output (bool)
A module providing more than three kinematics types has one kinstype.is-N pin per type.
4. Usage
4.1. HAL Connections
G12.1 and G13.1 ask motion for a kinstype directly and need no HAL connection at all.
A kinstype can also be selected by writing the pin motion.switchkins-type, which is sourced from an analog output pin like motion.analog-out-03 so that it can be set by M68 commands:
net :kinstype-select <= motion.analog-out-03
net :kinstype-select => motion.switchkins-type
|
Warning
|
Selecting the kinstype from HAL is deprecated and motion says so, once, the first time the pin is used to change it. The interpreter does not see the pin, so a program is read, its limits checked and its path looked ahead in whatever kinematics the interpreter last knew about, which is not necessarily the one that will run it. Use G12.1 and G13.1. The pin is in a grace period: it keeps working for now, but is meant to be removed in the future. |
4.2. G-code commands
G12.1 P- selects a kinstype and G13.1 cancels back to identity kinematics. Which kinstype that is, the module declares (see Code Notes), not fixed to a number; on a module whose slides do not line up with its frame it is the machine frame type the module declares instead:
...
G12.1 P1 ;select kinstype 1
...
... ;user G-code
...
G13.1 ;back to identity kinematics
...
These codes ask motion for the kinstype directly and synchronize task and motion themselves, so no HAL connection and no separate sync command are needed. The G-code words and the motion.switchkins-type pin are both acted on when they change, so whichever asked most recently is the one in force. motion.kins-type reports what is currently selected.
The pin is deprecated, see the warning under HAL Connections.
The kinstype in force is readable in G-code as #<_kins_type>, which lets a subroutine restore whatever its caller had selected:
#<saved> = #<_kins_type>
G12.1 P2
( ... )
G12.1 P#<saved>
Selection is not cancelled by the end of a program or by an abort, so that the kinstype continues to match the position readout. A program that should leave the machine in identity kinematics ends with G13.1.
A module that declares no identity or machine frame kinstype refuses G13.1 with an error and can still be driven by number with G12.1; see Code Notes for how a module declares its types.
For tool length work there are spellings that name the kinematics by what it is rather than by number: G43.4 applies the tool length offset and switches to the kinstype the module declares its working transform, and the G49 that cancels it switches back to identity. See the G-code documentation for G43.4 and G49, and for G12.1 and G13.1, for the full description.
4.3. M-code commands
|
Warning
|
This is the deprecated route described under HAL Connections above. It is documented because existing configurations use it. New ones should use G12.1 and G13.1. |
Writing motion.switchkins-type through an analog output pin needs the HAL connection shown above. Kinstype selection is then managed using G-code sequences like:
...
M68 E3 Q1 ;update analog-out-03 to select kinstype 1
M66 E0 L0 ;sync interp-motion
...
... ;user G-code
...
M68 E3 Q0 ;update analog-out-03 to select kinstype 0
M66 E0 L0 ;sync interp-motion
...
|
Note
|
An M66 wait-on-input command updates the #5399 variable. If the current value of this variable is needed for subsequent purposes, it should be copied to an additional variable before invoking M66. |
These G-code command sequences are typically implemented in G-code subroutines as remapped M-codes or with conventional M-code scripts.
Suggested codes (as used in sim configs) are:
Conventional User M-codes:
-
M128 Select kinstype 0 (startup default kinematics)
-
M129 Select kinstype 1 (typically identity kinematics)
-
M130 Select kinstype 2 (user-provided kinematics)
Remapped M-codes:
-
M428 Select kinstype 0 (startup default kinematics)
-
M429 Select kinstype 1 (typically identity kinematics)
-
M430 Select kinstype 2 (user-provided kinematics)
|
Note
|
Conventional user M-codes (in the range M100-M199) are in modal group 10. Remapped M-codes (in the range M200 to M999) can specify a modalgroup. See the remap documentation for additional information. |
4.4. INI file limit settings
LinuxCNC trajectory planning uses limits for position (min,max), velocity, and acceleration for each applicable coordinate letter specified in the configuration INI file. Example for letter L (in the set XYZABCUVW):
[AXIS_L]
MIN_LIMIT =
MAX_LIMIT =
MAX_VELOCITY =
MIN_ACCELERATION =
The INI file limits specified apply to the type 0 default kinematics type that is activated at startup. These limits may not be applicable when switching to alternative kinematics. However, since an interpreter-motion synchronization is required when switching kinematics, INI-HAL pins can be used to setup limits for a pending kinematics type.
|
Note
|
INI-HAL pins are typically not recognized during a G-code program unless a synchronization (queue-buster) command is issued. See the milltask manpage for more information ($ man milltask). |
The relevant INI-HAL pins for a joint number (N) are:
ini.N.min_limit
ini.N.max_limit
ini.N.max_acceleration
ini.N.max_velocity
The relevant INI-HAL pins for an axis coordinate (L) are:
ini.L.min_limit
ini.L.max_limit
ini.L.max_velocity
ini.L.max_acceleration
|
Note
|
In general, there are no fixed mappings between joint numbers and axis coordinate letters. There may be specific mappings for some kinematics modules especially those that implement identity kinematics (trivkins). See the kins man page for more information ($ man kins). |
A user-provided M-code can alter any or all of the axis coordinate limits prior to changing the motion.switchkins-type pin and synchronizing the interpreter and motionparts of LinuxCNC. As an example, a bash script invoking halcmd can be hardcoded to set any number of HAL pins:
#!/bin/bash halcmd -f <<EOF setp ini.x.min_limit -100 setp ini.x.max_limit 100 # ... repeat for other limit parameters EOF
Scripts like this can be invoked as a user M-code and used prior
to the kins switching M-code that updates the motion.switchkins-type
HAL pin and forces an interp-motion sync.
Typically, separate scripts would be used for each kinstype (0,1,2).
When identity kinematics are provided as a means to control individual joints, it may be convenient to set or restore limits as specified in the system INI file. For example, a robot starts with a complex (non-identity) kinematics (type0) after homing. The system is configured so that it can be switched to identity kinematics (type1) in order to manipulate individual joints using the conventional letters from the set XYZABCUVW. The INI file settings ([AXIS_L]) are not applicable when operating with identity (type1) kinematics. To address this use case, the user M-code scripts can be designed as follows:
M129 (Switch to identity type1)
-
read and parse INI file
-
HAL: setp the INI-HAL limit pins for each axis letter ([AXIS_L]) according to the identity-referenced joint number INI file setting ([JOINT_N])
-
HAL:
setp motion.switchkins-type 1 -
MDI: execute a syncing G-code (M66E0L0)
M128 (restore robot default kinematics type 0)
-
read and parse INI file
-
HAL: setp the INI-HAL limit pins for each axis letter ([AXIS_L]) according to the appropriate INI file setting ([AXIS_L])
-
HAL:
setp motion.switchkins-type 0 -
MDI: execute a syncing G-code (M66E0L0)
|
Note
|
The vismach simulation configurations for a puma robot demonstrate M-code scripts (M128,M129,M130) for this example use case. |
4.5. Coordinate system offset considerations
Like INI file limit settings, coordinate system offsets (G92, G10L2, G10L20, G43, etc) are generally applicable only for the type 0 default startup kinematics type. When switching kinematics types, it may be important to either reset all offsets prior to switching or update offsets based on system-specific requirements.
4.6. External offset considerations
External offsets (set to an axis (L) via axis.L.eoffset-request) are preserved during kinematics switches. When an offset is active on an axis before the switch (visible in axis.L.eoffset), the trajectory planner maintains that same offset after the switch, similar to how it maintains the commanded position from a G-code. This ensures consistent machine behavior regardless of the active kinematics.
If maintaining the offset will be an issue due to axis limit changes or other concerns, be sure to clear and possibly disable the eoffset before making a kinematics switch.
5. Simulation configs
Simulation configs (requiring no hardware) are provided with illustrative vismach displays in subdirectories of configs/sim/axis/vismach/ .
-
5axis/table-rotary-tilting/xyzac-trt.ini (xyzac-trt-kins)
-
5axis/table-rotary-tilting/xyzbc-trt.ini (xyzac-trt-kins)
-
5axis/bridgemill/5axis.ini (5axiskins)
-
scara/scara.ini (scarakins)
-
puma/puma560.ini (genserkins)
-
puma/puma.ini (pumakins)
-
hexapod-sim/hexapod.ini (genhexkins)
-
millturn/millturn.ini (millturn)
-
5axis/table-dual-rotary/xyzab-tdr.ini (xyzab_tdr_kins)
-
5axis/table-rotary_spindle-rotary-nutating/xyzacb-trsrn_twp/xyzacb-trsrn.ini (xyzacb_trsrn)
-
5axis/table-rotary_spindle-rotary-nutating/xyzbca-trsrn_twp/xyzbca-trsrn.ini (xyzbca_trsrn)
6. User kinematics provisions
There are two ways to supply custom kinematics. Adding a kinstype to a module that is already in the tree is the smaller job; building a module of your own gives you every kinstype it provides.
6.1. Adding a kinstype to an in-tree module
Custom kinematics can be coded and tested on Run-In-Place (RIP) builds. A template file src/emc/kinematics/userkfuncs.c is provided in the distribution. This file can be copied/renamed to a user directory and edited to supply custom kinematics with kinstype==2: the in-tree modules register its USERK_OPS as that kinstype, so the forward and inverse in the copy are what runs.
The user custom kinematics file can be compiled from out-of-tree source locations for rt-preempt implementations or by replacing the in-tree template file (src/emc/kinematics/userkfuncs.c) for rtai systems.
Preempt-rt make example:
$ userkfuncs=/home/myname/kins/mykins.c make && sudo make setuid
6.2. Building a switchkins module of your own
A complete kinematics module can be built out-of-tree with halcompile using the same switchkins implementation the in-tree modules use, so it gets the kinematics switching, the kinstype.is-N pins, the coordinates= identity mapping and the G-code and HAL controls without reimplementing any of them.
The implementation is the switchkins_core module. It provides no kinstypes of its own; it exports switchkinsInit() and the rest of the switchkins.h interface, and the identity kinematics and helpers kins_module.h declares. A module of your own includes switchkins.h, supplies switchkinsSetup() and a kinsDescribe() that replays it through switchkinsDescribeWith(), and calls switchkinsRunSetupWith() and switchkinsInit() from EXTRA_SETUP(), which halcompile runs after hal_init() and before hal_ready(). See Code Notes for the calls.
The template is src/hal/components/switchkinscomp.comp. Copy and rename it (both the file and the component name) and replace the example kinstype with the real kinematics. Start from the template, not from an in-tree component such as millturn.comp: those link the switchkins objects into the module through hal/components/Submakefile, which a halcompile build outside the tree does not do.
$ halcompile --install user_switchkins.comp
[KINS]
KINEMATICS = user_switchkins
JOINTS = 3
The HAL file loads switchkins_core ahead of the module:
loadrt switchkins_core loadrt [KINS]KINEMATICS
A module loaded without switchkins_core ahead of it fails to load, and the error names the first switchkins or kinematics function it could not find:
user_switchkins: dlopen: .../rtlib/user_switchkins.so: undefined symbol: ...
7. Warnings
Unexpected behavior can result if a G-code program is inadvertently started with an incompatible kinematics type. Unwanted behavior can be circumvented in G-code programs by:
-
Connecting appropriate kinstype.is.N HAL pins to digital input pins (like motion.digital-in-0m).
-
Reading the digital input pin (M66 E0 Pm) at the start of the G-code program
-
Aborting (M2) the G-code program with a message (DEBUG, problem_message) if the kinstype is not suitable.
When using jogging facilities or MDI commands interactively, operator caution is required. Guis should include indicators to display the current kinematics type.
|
Note
|
Switching kinematics can cause substantial operational changes requiring careful design, testing, and training for deployment. The management of coordinate offsets, tool compensation, and INI file limits may require complicated and non-standard operating protocols. |
8. Code Notes
Kinematic modules providing switchkins functionality are linked to the switchkins.o object (switchkins.c). It provides kinematicsForward(), kinematicsInverse(), kinematicsSwitch() and the rest of the kinematics interface, dispatching each call to the kinstype currently selected, and it creates the HAL pins common to all switchkins modules. It does not provide the module main program, so a module can get that from wherever suits it.
A kinstype is supplied by calling switchkinsRegisterOps(), once per kinstype, with the maths of that type written as functions of the parameter block (see the Kinematics Conventions chapter):
int switchkinsRegisterOps(int ktype, const kins_ops *ops);
The geometry of the whole module is one table, named in the kparms fields params and nparams; every kinstype reads it from the block. The older form, switchkinsRegister() with a setup, forward and inverse routine per kinstype that read pins of their own, is still accepted:
int switchkinsRegister(int ktype, KS kset, KF kfwd, KI kinv);
ktype runs from 0 to SWITCHKINS_MAX_TYPES-1 (defined in kinematics.h). Registering a kinstype twice, by either route, is an error, and so is leaving a gap below the highest kinstype provided. Either mistake fails the module load and says which kinstype is at fault.
Each kinstype gets its own kinstype.is-N pin, so a module providing the usual three keeps the pin names it always had.
A module also declares what each kinstype IS, with flags from kinematics.h:
-
KINSTYPE_IDENTITY no transform: the joints are the world
-
KINSTYPE_PRIMARY the module’s working transform
-
KINSTYPE_MACHINE the machine frame: the pivot in machine coordinates, the rotaries as joints
A kinstype registered with switchkinsRegisterOps() carries its flag in the ops table itself, as the identity, primary or machine field; a kinstype registered the older way gets it from a call, again from within switchkinsSetup():
int switchkinsDeclare(int ktype, int flags);
G-code reads these declarations: G13.1 and G49 cancel to the kinstype declared KINSTYPE_MACHINE, and G43.4 switches to the kinstype declared KINSTYPE_PRIMARY, whatever their numbers, so a module whose kinematics are not in the conventional order still gets working spellings. The machine frame type is the machine with the orientation left out, XYZ the pivot in machine coordinates and the rotary letters the rotary joints; on a machine whose slides line up with its frame that is the identity type, so a module that declares no machine frame kinstype has its identity kinstype stand in, and every shipped module is of that kind. A module whose carriage does not line up, a slanted slide or a composite Y on a mill-turn, declares its machine frame kinstype separately and keeps KINSTYPE_IDENTITY for a kinstype whose joints really are the axes, since motion and the planner skip the maths on that flag alone. At most one kinstype may be declared identity, at most one primary and at most one machine frame, and declaring a kinstype the module does not provide fails the module load. A module that declares nothing keeps working exactly as before for G12.1 P- and G49, but G13.1 and G43.4 are an error, since the numbers of the identity and primary kinematics are then a guess.
A module that implements kinematicsTypeFlags() itself, without switchkins.c, returns the flags of every kinstype it can switch to, 0 when neither applies, and -1 for any other: G12.1 P- refuses a kinstype that returns -1.
When every kinstype is registered, the module calls:
int switchkinsInit(const int comp_id, kparms* kp, const char* coordinates);
which checks the supplied parameters, creates the HAL pins, the table’s among them, selects kinstype 0, and then invokes the setup routine of each kinstype registered the older way. The caller owns the HAL component: it does hal_init() before switchkinsInit() and hal_ready() after it.
A module built this way also exports kinsDescribe(), through which a copy of it loaded outside realtime learns its table and the maths of each kinstype; the non-realtime loader and kinslimits use it. It exports kinematicsSetTool() as well, through which motion hands it the tool offset in effect whenever that changes. A table entry flagged as the tool is overwritten with it, and the entry’s pin only matters until motion has sent anything, so a config need not net motion.tooloffset.z to the module. A kinstype registered the older way reads its own pins and is not affected.
8.1. Module main program
A module written as a plain C file links switchkins_main.o (switchkins_main.c) for its rtapi_app_main(). That main program reads the (optional) module command-line parameters (coordinates, sparm) and passes them to the module-provided function switchkinsSetup():
int switchkinsSetup(kparms* kp,
KS* kset0, KS* kset1, KS* kset2,
KF* kfwd0, KF* kfwd1, KF* kfwd2,
KI* kinv0, KI* kinv1, KI* kinv2);
which sets the configuration settings, names the geometry table and registers the kinstypes with switchkinsRegisterOps(). The pointer arguments are the older route for kinstypes 0,1,2; a module using them leaves the rest alone. switchkinsRunSetup() in switchkins_setup.c is what runs switchkinsSetup() and registers what it returned, for the main program and for kinsDescribe() alike.
A module written as a halcompile component gets rtapi_app_main() from halcompile instead. It supplies the same switchkinsSetup() and a kinsDescribe() that replays it, and from its EXTRA_SETUP() routine, which halcompile runs after hal_init() and before hal_ready(), runs switchkinsSetup() and then switchkinsInit():
int kinsDescribe(const char *coords, const char *sparm,
kins_module_info *info)
{
return switchkinsDescribeWith(switchkinsSetup, coords, sparm, info);
}
EXPORT_SYMBOL(kinsDescribe);
EXTRA_SETUP() {
kparms kp;
(void)__comp_inst; (void)prefix; (void)extra_arg;
if (switchkinsRunSetupWith(switchkinsSetup, &kp, NULL)) { return -1; }
return switchkinsInit(comp_id, &kp, coordinates);
}
switchkinsRunSetupWith() and switchkinsDescribeWith() take the module’s switchkinsSetup() as an argument, so they work from switchkins_core. switchkinsRunSetup() and the kinsDescribe() in switchkins_setup.c call the switchkinsSetup() they were linked with, and only a module built in tree links them.
Where the switchkins code comes from depends on where the component is built. Out of tree, the switchkins_core module provides it, loaded ahead of the component (see Building a switchkins module of your own). In tree, the component links the objects into itself instead, named in hal/components/Submakefile:
millturn-extra-objs := emc/kinematics/switchkins.o emc/kinematics/switchkins_setup.o emc/kinematics/kins_util.o
8.2. Outline
A switchkinsSetup() with the kinematics itself left out: the table, the ops table of the machine’s own kinstype, and the shared identity and userk ops for the other two:
static const kins_param_desc my_params[] = {
{ "pivot-length", KINS_PARAM_FLOAT, KINS_IN, 0, 100.0 },
{ "tool-offset", KINS_PARAM_FLOAT, KINS_IN, 1, 0.0 }, // the tool length
};
enum { P_PIVOT_LENGTH, P_TOOL_OFFSET };
static int my_forward(const kins_params *p, kins_scratch *s,
const double *joint, EmcPose *pos,
const KINEMATICS_FORWARD_FLAGS *fflags,
KINEMATICS_INVERSE_FLAGS *iflags)
{
double pivot = p->geometry[P_PIVOT_LENGTH]; // where a pin was read
double tool = p->tool.tran.z; // the tool, from wherever the caller has it
// ...
}
static int my_inverse(const kins_params *p, kins_scratch *s,
const EmcPose *pos, double *joint,
const KINEMATICS_INVERSE_FLAGS *iflags,
KINEMATICS_FORWARD_FLAGS *fflags);
static const kins_ops my_ops = {
.forward = my_forward,
.inverse = my_inverse,
// .work, .tool, .native and .jacobian are optional, see kins_module.h
};
int switchkinsSetup(kparms* kp,
KS* kset0, KS* kset1, KS* kset2,
KF* kfwd0, KF* kfwd1, KF* kfwd2,
KI* kinv0, KI* kinv1, KI* kinv2
)
{
kp->kinsname = "mykins"; // must agree with the filename
kp->halprefix = "mykins"; // hal pin names
kp->required_coordinates = "xyzab";
kp->max_joints = strlen(kp->required_coordinates);
kp->params = my_params;
kp->nparams = sizeof(my_params)/sizeof(my_params[0]);
// remaining kparms fields
switchkinsRegisterOps(0, &my_ops); // kinstype 0 is the startup default
switchkinsRegisterOps(1, &KINS_IDENTITY_OPS);
switchkinsRegisterOps(2, &USERK_OPS);
// any further kinstype is registered the same way, and the
// numbering carries on with no gaps
return 0;
} // switchkinsSetup()
For the surrounding shape, the in-tree switchkinsSetup() routines are in src/emc/kinematics: 5axiskins.c, xyzac-trt-kins.c, genserkins.c, scarakins.c and the others listed at the top of this document. None of them registers a fourth kinstype yet, so a call for one has no in-tree example to copy.