procedure str_to_asciiz(s: string; var a: asciiz);