using typedef int