native compilation for checker