initialize crichton explicitly 

@fosdev @jlo188 I have updated pull request. Please have another look. This must be merged after request in crichton.