/*

CLASS {NATIVE_Random_soft|_java_android},
NATIVE:


CONST STR:
    NATIVE_Random_import = ""

    NATIVE_Next_in_range = @
    "    C_Random_soft.fSeed = (long)X_Seed_low | ((long)X_Seed_high << 32);"
    "    C_Random_soft.fSeed = C_Random_soft.fSeed * 1103515245 + 12345;"
    "	 if (X_Max > 0)"
    "    	RESULT = (int)((long)((C_Random_soft.fSeed >> 16)"
    " 				              & 0x00FFFFFFFFFFFFFFL) % X_Max);"
    "	 else RESULT = 0;"
    
    NATIVE_Get_seed_low = @
    "	 RESULT = (int) C_Random_soft.fSeed;"
    
    NATIVE_Get_seed_high = @
    "	 RESULT = (int) (C_Random_soft.fSeed >> 32);"
    
    NATIVE_Random_last = "public static long fSeed;"
        
    .
        
*/

}

/*
END
*/

