Function eval_push12

pub fn eval_push12<S, H, Tr>(
    machine: &mut Machine<S>,
    _handle: &mut H,
    position: usize,
) -> Control<Tr>

PUSHn