printf("File name: %s\n", (ptr == NULL) ? "<unspecified>" : ptr);

##</code><code>##

    char *s;
    if (ptr == NULL)
        s = "<unspecified>";
    else
        s = ptr;
    printf("File name: %s\n", s);

##</code><code>##

# trinary
movl    %eax, -28(%ebp) #  to_return

# ifelse
movl    $1, -28(%ebp)   #  to_return