Keyword: wassert 1