1 2 3 4 5 6 7 8
[fopen] fp: posix/stdio/oc/fopen include: stdio.h prep: FILE *fp; call: fp = fopen("/dev/null", "r"); success_cond: fp != NULL failure_cond: fp == NULL errno_on_fail: ELOOP