Foreign pointer finalizer AST; fix warnings