The reference implementation for the Static Programming Language