[ Main;
];

Constant str0 = "@00";
Constant str32 = "@32";