SPLOS/171/Add.2