static void emitStringConstant(String str, PrintStream s) {
	ascii = false;
	
	for (int i = 0; i < str.length(); i++) {
	    char c = str.charAt(i);
	    
	    switch (c) {
	    case '\n':
		asciiMode(s);
		s.print("\\n");
		break;
	    case '\t':
		asciiMode(s);
		s.print("\\t");
		break;
	    case '\\':
		byteMode(s);
		s.println("\t.byte\t" + (byte) '\\');
		break;
	    case '"':
		asciiMode(s);
		s.print("\\\"");
		break;
	    default:
		if (c >= 0x20 && c <= 0x7f) {
		    asciiMode(s);
		    s.print(c);
		} else {
		    byteMode(s);
		    s.println("\t.byte\t" + (byte) c);
		}
	    }
	}
	byteMode(s);
	s.println("\t.byte\t0\t");
    }