&OBJ a b c d
&OBJV a b c:v d
&OBJTYPE a:i b:u c:b d
testa a b:e{TOTO} = res:e{TOTO}
testb = res:i
testc a b:ve{TOTO} = res:i resb:e{TOTO}v
testd a b:U{OBJ} = res:i resb:U{OBJ}
teste a b:U{OBJ} nb:u = res:u resb:U{OBJ}v msg
testf a b:U{OBJV} nb:u = res:u resb:U{OBJV}v msg
testg a b:U{OBJTYPE} nb:u = res:u resb:U{OBJTYPE} msg

test_optim nb:u a  = res:i resb:U{OBJ}v
test_nooptim nb:u a = res:i resb:U{OBJ_NOOPTIM}v

quit = done