mandoc_msg_getinfilename
const char *mandoc_msg_getinfilename(void);
save_filename = mandoc_msg_getinfilename();