HelenOS in the year of the fire monkey