ushort x = 0x07;                                                               /* x = 7 */

pushort x' = &x;                                                               /* x' = pointer_to (x, short)  */

ÚÄ f(x') Ä
³
³ int y = *x';                                                                 /* y = read_value_from (x')    */
³
³ y *= 2;                                                                      /* y = y * 2                   */
³ 
³ *x' = y + 10;                                                                /* write_value_to (x', y + 10) */
³
ÀÄÄÄÄÄÄÄÄÄ

stdio:print ("%d" "\n", x);                                                    /* "24" */