void main()
{
  out_object_id = interp.ob_id;
}