理がない

識別子sはなんだ
s1, s2, pはなんだ
pがNULLでないことは保証できるのか
p2の型はなんだ
s1に'1'があることは保証できるのか
何がやりたいんだ