Separated Program (state) types