nixToJS function may be important for other purposes, so let's make it public