check-symbols • man page