Definition at line 15 of file batch.c.
Definition at line 17 of file batch.c.
Definition at line 16 of file batch.c.
Definition at line 20 of file batch.c.
Definition at line 19 of file batch.c.
Definition at line 18 of file batch.c.