spec5: On the way of implementing spec5.