sera-compilation