importing bats into the demo