#include <perms.h>

                                                                //      1  %begin
#line 1 "regression-compile-tmp/restests.imp"
int main(int argc, char **argv) {
  _imp_initialise(argc, argv);
                                                                //      2    %string (255) s, a, b
#line 2 "regression-compile-tmp/restests.imp"
_imp_string /*%string(255)*/ S;
#line 2 "regression-compile-tmp/restests.imp"
_imp_string /*%string(255)*/ A;
#line 2 "regression-compile-tmp/restests.imp"
_imp_string /*%string(255)*/ B;
                                                                //      3  
                                                                //      4    s = "A string with xxx in the middle"
#line 4 "regression-compile-tmp/restests.imp"
S = _imp_str_literal("A string with xxx in the middle");
                                                                //      5  
                                                                //      6    s -> a.("xxx").b
#line 6 "regression-compile-tmp/restests.imp"
if (!_imp_resolve(S, &A, _imp_str_literal("xxx"), &B)) _imp_signal(7,1,0, "string resolution fails");
                                                                //      7  
                                                                //      8    newline
#line 8 "regression-compile-tmp/restests.imp"
_imp_NEWLINE();
                                                                //      9  
                                                                //     10    %if s -> a.("xxx").b %start
#line 10 "regression-compile-tmp/restests.imp"
if (!(_imp_resolve(S, &A, _imp_str_literal("xxx"), &B))) goto L_0002;
                                                                //     11      newline
#line 11 "regression-compile-tmp/restests.imp"
_imp_NEWLINE();
                                                                //     12    %finish
#line 12 "regression-compile-tmp/restests.imp"
L_0002:;
                                                                //     13  
                                                                //     14    s -> ("xxx").b
#line 14 "regression-compile-tmp/restests.imp"
if (!_imp_resolve(S, 0 /*NULL*/, _imp_str_literal("xxx"), &B)) _imp_signal(7,1,0, "string resolution fails");
                                                                //     15  
                                                                //     16    newline
#line 16 "regression-compile-tmp/restests.imp"
_imp_NEWLINE();
                                                                //     17  
                                                                //     18    %if s -> ("xxx").b %start
#line 18 "regression-compile-tmp/restests.imp"
if (!(_imp_resolve(S, 0 /*NULL*/, _imp_str_literal("xxx"), &B))) goto L_0003;
                                                                //     19      newline
#line 19 "regression-compile-tmp/restests.imp"
_imp_NEWLINE();
                                                                //     20    %finish
#line 20 "regression-compile-tmp/restests.imp"
L_0003:;
                                                                //     21  
                                                                //     22    s -> a.("xxx")
#line 22 "regression-compile-tmp/restests.imp"
if (!_imp_resolve(S, &A, _imp_str_literal("xxx"), 0 /*NULL*/)) _imp_signal(7,1,0, "string resolution fails");
                                                                //     23  
                                                                //     24    newline
#line 24 "regression-compile-tmp/restests.imp"
_imp_NEWLINE();
                                                                //     25  
                                                                //     26    %if s -> a.("xxx") %start
#line 26 "regression-compile-tmp/restests.imp"
if (!(_imp_resolve(S, &A, _imp_str_literal("xxx"), 0 /*NULL*/))) goto L_0004;
                                                                //     27      newline
#line 27 "regression-compile-tmp/restests.imp"
_imp_NEWLINE();
                                                                //     28    %finish
#line 28 "regression-compile-tmp/restests.imp"
L_0004:;
                                                                //     29  
                                                                //     30  %endofprogram
#line 30 "regression-compile-tmp/restests.imp"
/* Remove %on %event handler here if present for this block */
return 0;
} // End of block _imp_main at level 1
#line 30 "regression-compile-tmp/restests.imp"
// End of file
