This is also defined in `batlabbase`.  It should only exist in one place so you should import it from there.