fixed session type initialization example