Constant JERR_BAD_POOL_ID 

pub const JERR_BAD_POOL_ID: J_MESSAGE_CODE = 14;