formatchar: annotation options, print method