SRC made its sukuk debut in February with three and 10 year notes. Those traded about 80bp over US Treasuries on Wednesday, ...