changed nativeflag symbol to @