typedef int pch_int;