Integer ASCII value to character in BASH using printf Integer ASCII value to character in BASH using printf bash bash