text: import pytropos.internals.values as pv
  from pytropos.internals.values.builtin_values import *
  from pytropos.internals.values.python_values.builtin_mutvalues import *
  from pytropos.internals.values.python_values.wrappers import *
  from pytropos.internals.values.python_values.python_values import PythonValue, PT
  from pytropos.libs_checking.numpy import *
  
  exitcode = 0
  
  def ndarray_(*lst):
      return PythonValue(NdArray(pv.tuple(*(pv.int(i) for i in lst))))
  
  store = {
    'np': numpy_module,
    'Top': pv.Top,
    'i': pv.Top,
    'a': ndarray_(10, 4),
    'b': ndarray_(10, None),
  }
  