real-basis.c
