use s_assert