Symbol: k_cons