eBMC Basic User Functions