SPLOS/INF/20/Add.2