#s# 	#S# a a
#S#     a #S# a
!       b #S# b
!       lambda
