import b::d;

type t = uint;