Index: obj_subc.h
===================================================================
--- obj_subc.h	(revision 20887)
+++ obj_subc.h	(revision 20888)
@@ -54,6 +54,7 @@
 };
 
 pcb_subc_t *pcb_subc_alloc(void);
+pcb_subc_t *pcb_subc_alloc_id(long int id);
 pcb_subc_t *pcb_subc_new(void);
 void pcb_subc_free(pcb_subc_t *sc);