// a basic object

void move(object dest) { move_object(dest); }