Implement S_ASSERT and co.