Haxe externs for Mochi API