int do_setsjf() { /* sjf_2018 */
  int expected_time = m_in.m1_i1;
  printf("[SETSJF] Test, expected_time = %d\n", expected_time);
  message m;

  m.m1_i1 = mp->mp_endpoint;
  m.m1_i2 = expected_time;

  int rv;

  if ((rv = _taskcall(mp->mp_scheduler, SCHEDULING_SET_SJF, &m))) {
        return rv;
    }

  return 0; // TODO: RETURN VALUE
}