compiles, assertion