@Override
 public ResolvedPointerType caseFunctionHeader(FunctionHeader object) {
   ResolvedType rettype = resolve(object.getRettype());
   List<ResolvedType> paramTypes = new LinkedList<ResolvedType>();
   for (Parameter p : object.getParameters().getParameters()) {
     paramTypes.add(resolve(p.getType()));
   }
   if (object.getParameters().getVararg() != null) paramTypes.add(TYPE_VARARG);
   return new ResolvedPointerType(new ResolvedFunctionType(rettype, paramTypes), BigInteger.ZERO);
 }
 @Override
 public ResolvedType caseParameter(Parameter object) {
   return resolve(object.getType().getType());
 }