SLE TODO for binformat