Constant DERIVED 

pub const DERIVED: u16 = _ /* 128u16 */;

A derived class constructor: no receiver is created; this is bound by super().