typedef int inferred;
