asserts for stub procedures