Symbol: msk_jalloc