BMC: an example