The ultimate BÉLA compilation