/* this is a placeholder, the real file is in divine/vm/ */