libc/assert