proc nonrec main() void:
    writeln(pretend(97, char));   /* prints "a" */
    writeln(pretend('a', byte));  /* prints 97 */
corp