> From: felipe.lessa@gmail.com
> Do these timings include RTS startup?

Yes, this is the result of the time command on the whole executable.