Definition at line 1849 of file machine.c.
Definition at line 1851 of file machine.c.
Definition at line 1850 of file machine.c.