A sanity check on the BACH-DSL decoder