Constant TCP_FASTOPEN_PSK_LEN 

pub const TCP_FASTOPEN_PSK_LEN: c_int = 16;