Examples for using sancus-core