putting user initialization code back in