It would be helpful to explain somewhere that user_context is currently always NULL when jitting, so it's ok to pass NULL here.