#include <pland/syscall.h>
#include <knob/user.h>
#include <knob/format.h>

void main() {
  char nbuf[11];

  tell_user_sz("Kernel dynamic memory remaining: ");

  itosz(_kernel_dynamic_area_left() * 4, nbuf);
  tell_user_sz(nbuf);
  tell_user_sz("k\n");

  tell_user_sz("Userspace memory remaining: ");

  itosz(_total_userspace_left() * 4, nbuf);
  tell_user_sz(nbuf);
  tell_user_sz("k\n");
}