spec1: add a code