//usr/bin/infocmp