perhaps i should figure out those pragmas...