basic bandera-runtime is done (before moving it to separate project)
extracted bandera