format final const