pub const HAVE_FTOK: u32 = 1;