program volatile_doctest
use stringifor_string_t
 print "(L1)", count('hello', substring='ll')==1
endprogram volatile_doctest