got LexBFS working slightly