/* * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause */#include<stdio.h>intputs(constchar*s){intcount=0;while(*s!='\0'){if(putchar(*s)==EOF)returnEOF;s++;count++;}if(putchar('\n')==EOF)returnEOF;returncount+1;}