print ("[%s] Hello, World!", title),
{
  title = get_pointer (app_name, T_CHARS),
  {
    app_name = settings->string_table:STR_APP_NAME                             /* O(1) */                  
  }
};
