pub type JSCOptionType = c_int;