Really? I thought kick from a mark is a free kick, law change this year means a free kick direct to touch is now the same case as a penalty - I.e. requires a restart? 5.7.b.
5.7.b simply means that the kick must taken. 5.7.c talks about what happens next and it is only for a penalty
Seconded.