0:3Function Definition: main( (void) 0:3 Function Parameters: 0:5 Sequence 0:5 MemoryBarrier (void)