Implemented constant using unfold