spec: parse ex_1