directory file line function property kind status property . provenance_via_io_uintptr_t_global.c 10 main precondition of rewind Unknown valid_stream: \valid(stream) . provenance_via_io_uintptr_t_global.c 18 main mem_access Unknown \valid(r) FRAMAC_SHARE/libc stdio.h 480 rewind precondition Unknown valid_stream: \valid(stream)