// Tests imported from scicoslab tests

[
u1($):=3;
]

