/* !! There are 15 possible text styles (not counting color variations) */
/* !! Sadly, glulx has exactly 10 possibe styles, so some of these must */
/* !! be sacrificed. */
/* !! */
/* !! $$00000000 roman* */
/* !! $$00000001 reverse* */
/* !! $$00000010 bold* */
/* !! $$00000011 reverse bold */
/* !! $$00000100 italic* */
/* !! $$00000101 italic reverse */
/* !! $$00000110 italic bold* */
/* !! $$00000111 italic reverse bold */
/* !! $$00001000 fixed* */
/* !! $$00001001 fixed reverse* */
/* !! $$00001010 fixed bold* */
/* !! $$00001100 fixed italic* */
/* !! $$00001101 fixed italic reverse */
/* !! $$00001110 fixed italic bold */
/* !! $$00001111 fixed italic bold reverse */
    

[z_style_to_glulx s;
    switch (s)
    {
     $$00000000: return 0;  /* ! normal */
     $$00000001: return 6;  /* ! note */
     $$00000010: return 8;  /* ! input */
     $$00000011: return 6;
     $$00000100: return 1;  /* ! emphasized */
     $$00000101: return 1;
     $$00000110: return 3;  /* ! header */
     $$00000111: return 3;
     $$00001000: return 2;  /* ! preformatted */
     $$00001001: return 5;  /* ! alert */
     $$00001010: return 10; /* ! user2 */
     $$00001100: return 9;  /* ! user1 */
     $$00001101: return 9;
     $$00001110: return 9;
     $$00001111: return 9;
    }
];


[init_styles;
    glk($00b0, 0, 6, 7, 1);
    glk($00b0, 0, 6, 8, 0);
    glk($00b0, 0, 6, 5, 0);
    glk($00b0, 0, 6, 9, 1);
    glk($00b0, 3, 6, 6, 1);
    glk($00b0, 4, 6, 6, 0);

    glk($00b0, 0, 5, 7, 1);
    glk($00b0, 0, 5, 8, 0);
    glk($00b0, 0, 5, 5, 0);
    glk($00b0, 0, 5, 6, 0);
    glk($00b0, 0, 6, 9, 1);

    glk($00b0, 0, 10, 4, 1);
    glk($00b0, 0, 10, 5, 0);
    glk($00b0, 0, 10, 6, 0);
    
];