'br_sp' by GSan
br_sp


Notes on br_sp by GSan