-- Asserts only for debug