class Jet {
	method set_pitch (...) {...}
}

interface FlyingThings {
	require method set_pitch (...);
}