Operating system support for mobile agents: position paper for 5th IEEE Workshop on Hot Topics in Operating Systems