spec5: Add some comments and insert const qualifier