bugfix (provided by E.Derr): left-shift literal of *HIGH_16 constants
model some native methods of class System