Esta sería la descripción de un caso típico, si bien la especificación del bytecode depende ampliamente del lenguaje.