Revert "Remove trailing initializers"
Revert "Remove trailing initializers"

This reverts commit e37683e9405b8e948fe997b88877dfd85f2a2284.

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin