[masklinn]

There is no call. assert is a macro, the second parameter is a list of places which the restart can update.