Modal stack tests