A tiny implementation of BCS