EP1533696A3 - Bytecode program interpreter apparatus and method with pre-verification of data type restrictions